IMSc Library catalog › ISBD view

Normal view MARC view ISBD view

Robinson, Alan. Ed. Voronkov, Andrei. Ed.

Automated Reasoning, Handbook of- : Vols. I & II - Netherlands North-Holland 2001 - 2122

ISBN: 0 444 50813 9

Subjects--Topical Terms:
Automated Reasoning

Universal Decimal Class. No.: 510.6(02) ROB 510.6(02) ROB

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)