About: Handbook of Automated Reasoning

Property	Value
dbo:description	boek (nl) kirja (fi) boek (nl) kirja (fi)
dbo:wikiPageExternalLink	http://www.ncc.up.pt/~nam/aulas/0506/t_coq/barendregt01proofassistants.pdf https://www.cs.cmu.edu/~fp/papers/handbook01.pdf https://mitpress.mit.edu/books/handbook-automated-reasoning-volume-1 http://lat.inf.tu-dresden.de/research/papers/2001/BaaderSnyderHandbook.ps.gz http://www.cs.tau.ac.il/~nachum/papers/hand-final.pdf http://www.cs.nyu.edu/faculty/davism/early.ps http://gtps.math.cmu.edu/har15.ps.gz https://who.rocq.inria.fr/Gilles.Dowek/Publi/unification.ps
dbo:wikiPageWikiLink	dbc:Automated_reasoning dbr:Automated_reasoning dbr:Classical_logic dbr:Henk_Barendregt dbc:Logic_books dbr:MIT_Press dbr:Peter_B._Andrews dbr:Alan_Bundy dbr:Maurizio_Lenzerini dbr:Inductive_reasoning dbr:Andrei_Voronkov dbr:Martin_Davis_(mathematician) dbr:David_Plaisted dbr:Giuseppe_De_Giacomo dbc:Computer_science_books dbr:Franz_Baader dbr:Harald_Ganzinger dbr:Dov_Gabbay dbr:Higher-order_logic dbc:Handbooks_and_manuals dbc:2001_non-fiction_books dbr:John_Alan_Robinson dbr:Tanel_Tammet dbr:Diego_Calvanese dbr:Frank_Pfenning dbr:Nachum_Dershowitz dbr:Wayne_Snyder dbr:Edmund_Clarke dbr:Survey_article dbr:First-order_logic_with_equality dbr:Alexander_Bockmayr dbr:Alexander_Leitsch dbr:Anatoli_Degtyarev dbr:Andreas_Nonnengart dbr:Arild_Waaler dbr:Christian_Fermüller dbr:Christoph_Weidenbach dbr:Daniele_Nardi dbr:Gernot_Salzer dbr:Gernot_Stenz dbr:Gilles_Dowek dbr:Hans-Jürgen_Ohlbach dbr:Herman_Geuvers dbr:Holger_Schlingloff dbr:Hubert_Comon dbr:I.V._Ramakrishnan dbr:Ilkka_Niemelä dbr:Jürgen_Dix dbr:Leo_Bachmair dbr:Maarten_De_Rijke dbr:Matthias_Baaz dbr:R.Sekar dbr:Reiner_Hähnle dbr:Reinhold_Letz dbr:Robert_Nieuwenhuis dbr:Shang-Ching_Chou dbr:Ullrich_Hustadt dbr:Ulrich_Furbach dbr:Uwe_Egly dbr:Volker_Weispfenning dbr:Xiao-Shang_Gao
dbp:wikiPageUsesTemplate	dbt:ISBN dbt:Italic_title dbt:Ordered_list
dct:subject	dbc:Automated_reasoning dbc:Logic_books dbc:Computer_science_books dbc:Handbooks_and_manuals dbc:2001_non-fiction_books
gold:hypernym	dbr:Collection
rdfs:label	Handbook of Automated Reasoning (en)
owl:sameAs	freebase:Handbook of Automated Reasoning yago-res:Handbook of Automated Reasoning wikidata:Handbook of Automated Reasoning dbpedia-global:Handbook of Automated Reasoning dbr:Handbook of Automated Reasoning
prov:wasDerivedFrom	wikipedia-en:Handbook_of_Automated_Reasoning?oldid=1096186339&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Handbook_of_Automated_Reasoning
is dbo:wikiPageRedirects of	dbr:Handbook_of_automated_reasoning
is dbo:wikiPageWikiLink of	dbr:Index_of_philosophy_articles_(D–H) dbr:Superposition_calculus dbr:Unification_(computer_science) dbr:Outline_of_thought dbr:Index_of_logic_articles dbr:Index_of_philosophical_literature dbr:Andrei_Voronkov dbr:Negation_normal_form dbr:Rewriting dbr:Term_indexing dbr:Handbook_of_automated_reasoning
is foaf:primaryTopic of	wikipedia-en:Handbook_of_Automated_Reasoning