Your search returned 3 results.

Results
	1.	No cover image available No cover image available Logic for Computer Science : Foundations of Automatic Theorem Proving by Gallier, Jean Material type: Text Publication details: New York John Wiley & Sons 1987 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 GAL/Log. Add to cart (remove)
	2.	Geometric methods and applications :for computer science and engineering Jean Gallier. by Gallier, Jean H Series: Texts in applied mathematics ; 38 Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 2011 Availability: Items available for loan: Goa University Library (1)Call number: 516 GAL/Geo. Add to cart (remove)
	3.	A guide to the classification theorem for compact surfaces Jean Gallier. by Gallier, Jean Xu, Dianna Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 2013 Availability: Items available for loan: Goa University Library (2)Call number: 516.352 GAL-XU, ... Add to cart (remove)

Refine your search