IMSc Library catalog › Results of search for 'ccl=su:"Geometry"'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Automated Deduction in Equational Logic and Cubic Curves [electronic resource] / by W. McCune, R. Padmanabhan. by McCune, W [author.] \| Padmanabhan, R [author.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1095Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automated Deduction in Geometry [electronic resource] : International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers / edited by Dongming Wang. by Wang, Dongming [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1360Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags