Handbook of Automated Reasoning
http://dbpedia.org/resource/Handbook_of_Automated_Reasoning an entity of type: WikicatComputerScienceBooks
The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published in 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.
rdf:langString
rdf:langString
Handbook of Automated Reasoning
xsd:integer
8402579
xsd:integer
1096186339
rdf:langString
The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published in 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.
xsd:nonNegativeInteger
4427