Refine your search

Your search returned 2 results. Subscribe to this search

|
Geometric methods and applications : for computer science and engineering / Jean Gallier Monografia Publication New York : Springer, cop. 2001 Description XXI, 565 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier Monografia Publication New York : John Wiley, cop. 1987 Description XV, 511 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Checked out (1).