Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Handbook_of_Automated_Reasoning> ?p ?o }
Showing triples 1 to 41 of
41
with 100 triples 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 UnifChapter.pdf.
- Handbook_of_Automated_Reasoning wikiPageExternalLink handbook-automated-reasoning.
- Handbook_of_Automated_Reasoning wikiPageID "8402579".
- Handbook_of_Automated_Reasoning wikiPageLength "933".
- Handbook_of_Automated_Reasoning wikiPageOutDegree "14".
- Handbook_of_Automated_Reasoning wikiPageRevisionID "657083594".
- Handbook_of_Automated_Reasoning wikiPageWikiLink Andrei_Voronkov.
- Handbook_of_Automated_Reasoning wikiPageWikiLink Automated_reasoning.
- Handbook_of_Automated_Reasoning wikiPageWikiLink Category:2001_books.
- Handbook_of_Automated_Reasoning wikiPageWikiLink Category:Computer_science_books.
- Handbook_of_Automated_Reasoning wikiPageWikiLink Category:Essay_collections.
- Handbook_of_Automated_Reasoning wikiPageWikiLink Category:Logic_books.
- Handbook_of_Automated_Reasoning wikiPageWikiLink Classical_logic.
- Handbook_of_Automated_Reasoning wikiPageWikiLink First-order_logic.
- Handbook_of_Automated_Reasoning wikiPageWikiLink Higher-order_logic.
- Handbook_of_Automated_Reasoning wikiPageWikiLink Inductive_reasoning.
- Handbook_of_Automated_Reasoning wikiPageWikiLink John_Alan_Robinson.
- Handbook_of_Automated_Reasoning wikiPageWikiLink MIT_Press.
- Handbook_of_Automated_Reasoning wikiPageWikiLink Review_article.
- Handbook_of_Automated_Reasoning wikiPageWikiLinkText "Handbook of Automated Reasoning".
- Handbook_of_Automated_Reasoning wikiPageUsesTemplate Template:Compu-book-stub.
- 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 hypernym Collection.
- Handbook_of_Automated_Reasoning type Book.
- Handbook_of_Automated_Reasoning type Work.
- Handbook_of_Automated_Reasoning type Anthology.
- Handbook_of_Automated_Reasoning type Book.
- Handbook_of_Automated_Reasoning type Collection.
- Handbook_of_Automated_Reasoning type Redirect.
- Handbook_of_Automated_Reasoning type Work.
- 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 Q5647318.
- Handbook_of_Automated_Reasoning sameAs m.02726d9.
- Handbook_of_Automated_Reasoning sameAs Q5647318.
- Handbook_of_Automated_Reasoning wasDerivedFrom Handbook_of_Automated_Reasoning?oldid=657083594.
- Handbook_of_Automated_Reasoning isPrimaryTopicOf Handbook_of_Automated_Reasoning.