Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of the International Conference, St.Andrews, Scotland, UK, 2000

by Dyckhoff, Roy. Ed.

Series: Lecture notes in artificial intelligence ; 01847Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 24 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Automated Reasoning, Handbook of- : Vols. I & II

by Robinson, Alan. Ed | Voronkov, Andrei. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; North-Holland ; 2001Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) ROB.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha