Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Handbook_of_Automated_Reasoning> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- Handbook_of_Automated_Reasoning abstract "The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published on June 2001 by MIT Press, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1 describes methods for classical logic, first-order logic with equality and other theories, and induction. Volume 2 covers higher-order, non-classical and other kinds of logic.".
- Handbook_of_Automated_Reasoning wikiPageExternalLink default.asp?sid=6882E9F5-587E-4645-98D7-149A921614E7&ttype=2&tid=8574.
- Handbook_of_Automated_Reasoning wikiPageID "8402579".
- Handbook_of_Automated_Reasoning wikiPageRevisionID "600271862".
- Handbook_of_Automated_Reasoning hasPhotoCollection Handbook_of_Automated_Reasoning.
- Handbook_of_Automated_Reasoning subject Category:2001_books.
- Handbook_of_Automated_Reasoning subject Category:Computer_science_books.
- Handbook_of_Automated_Reasoning subject Category:Essay_collections.
- Handbook_of_Automated_Reasoning subject Category:Logic_books.
- Handbook_of_Automated_Reasoning type 2001Books.
- Handbook_of_Automated_Reasoning type Artifact100021939.
- Handbook_of_Automated_Reasoning type Book106410904.
- Handbook_of_Automated_Reasoning type ComputerScienceBooks.
- Handbook_of_Automated_Reasoning type Creation103129123.
- Handbook_of_Automated_Reasoning type LogicBooks.
- Handbook_of_Automated_Reasoning type Object100002684.
- Handbook_of_Automated_Reasoning type PhysicalEntity100001930.
- Handbook_of_Automated_Reasoning type Product104007894.
- Handbook_of_Automated_Reasoning type Publication106589574.
- Handbook_of_Automated_Reasoning type Whole100003553.
- Handbook_of_Automated_Reasoning type Work104599396.
- Handbook_of_Automated_Reasoning comment "The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published on June 2001 by MIT Press, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1 describes methods for classical logic, first-order logic with equality and other theories, and induction. Volume 2 covers higher-order, non-classical and other kinds of logic.".
- Handbook_of_Automated_Reasoning label "Handbook of Automated Reasoning".
- Handbook_of_Automated_Reasoning sameAs m.02726d9.
- Handbook_of_Automated_Reasoning sameAs Q5647318.
- Handbook_of_Automated_Reasoning sameAs Q5647318.
- Handbook_of_Automated_Reasoning sameAs Handbook_of_Automated_Reasoning.
- Handbook_of_Automated_Reasoning wasDerivedFrom Handbook_of_Automated_Reasoning?oldid=600271862.
- Handbook_of_Automated_Reasoning isPrimaryTopicOf Handbook_of_Automated_Reasoning.