Your search returned 2 results.

Not what you expected? Check for suggestions
E-BOOKS
Geometry and Robotics [electronic resource] : Workshop, Toulouse, France, May 26–28, 1988 Proceedings / edited by J. -D. Boissonnat, J. -P. Laumond.

by Boissonnat, J. -D [editor.] | Laumond, J. -P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 391Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
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 Text;Language: English; Format: electronic available online remote; 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha