Normal view MARC view ISBD view

Handbook of Practical Logic and Automated Reasoning

Material type: materialTypeLabel

BookPublisher: Cambridge Cambridge University Press 2009Description: xix, 681p.ISBN: 978-0-521-89957-4.

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
		006.333 HAR (Browse shelf)	Available		506408

Previous								Next
Previous	006.332 SCH Knowledge engineering and management: The commonKADS methodology	006.333 BOC Explanatory nonmonotonic reasoning	006.333 BUN Rippling: Meta-Level Guidance for Mathematical Reasoning	006.333 HAR Handbook of Practical Logic and Automated Reasoning	006.337 SKA Agents as objects with knowledge base state	006.35 AFN Proceedings of the Third International Joint Conference on Natural Language Processing held during January 7-12, 2008 at Hyderabad, India vol.2	006.35 AFN Proceedings of the Third International Joint Conference on Natural Language Processing held during January 7-12, 2008 at Hyderabad, India vol.2	Next

There are no comments for this item.

IIITB Library