The ''Handbook of Automated Reasoning'' (, 2128 pages) is a collection of
survey article
A review article is an article that summarizes the current state of understanding on a topic within a certain discipline. A review article is generally considered a secondary source since it may analyze and discuss the method and conclusions ...
s on the field of
automated reasoning. Published in June 2001 by
MIT Press, it is edited by
John Alan Robinson and
Andrei Voronkov
Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.
Education
Voronkov was educated at Novosibirsk State University, graduating with a PhD in 1987.
...
. Volume 1 describes methods for
classical logic
Classical logic (or standard logic or Frege-Russell logic) is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy.
Characteristics
Each logical system in this class ...
,
first-order logic with equality and other theories, and
induction. Volume 2 covers
higher-order,
non-classical and other kinds of logic.
Index
Volume 1
;History
;Classical Logic
;Equality and Other Theories
;Induction
Volume 2
;Higher-Order Logic and Logical Frameworks
;Nonclassical Logics
;Decidable Classes and Model Building
;Implementation
{{Ordered list , start=26
,
I.V. Ramakrishnan,
R.Sekar,
Andrei Voronkov
Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.
Education
Voronkov was educated at Novosibirsk State University, graduating with a PhD in 1987.
...
. Term Indexing, pp. 1853–1964.
,
Christoph Weidenbach. Combining Superposition, Sorts and Splitting, pp. 1965–2013.
,
Reinhold Letz
Reinhold is a German male given name. This German name is originally from "Reinold", composed of two elements. The first is from ''ragin'', meaning "the (Germanic) Gods" and ''wald'' meaning "powerful".
This name was popularised by the ancient Ge ...
,
Gernot Stenz Gernot is a German masculine given name, derived from Old High German "ger" (spear) and "khnoton" (to brandish). It is rare, but still in use in German speaking countries today.
Gundomar I, King of the Burgundians c. 407–411 is named Gernot in ...
. Model Elimination and Connection Tableau Procedures, pp. 2015–2114.
External links
MIT press page
2001 non-fiction books
Handbooks and manuals
Logic books
Computer science books
Automated reasoning