This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
Read More
This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
Read Less
Add this copy of Handbook of Automated Reasoning: Volume I to cart. $273.77, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2001 by North-Holland.
Add this copy of Handbook of Automated Reasoning: Volume I to cart. $281.24, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2001 by North-Holland.
