Handbook of Automated Reasoning

Handbook of Automated Reasoning
Format
Hardback
Publisher
Elsevier Science & Technology
Country
United States
Published
21 June 2001
Pages
996
ISBN
9780444829498

Handbook of Automated Reasoning

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.

This item is not currently in-stock. It can be ordered online and is expected to ship in approx 2 weeks

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.