Call Boomerang Books 1300 36 33 32

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.

Buy Handbook of Automated Reasoning book by Alan J. A. Robinson from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780444829498
ISBN-10: 0444829490
Format: Hardback
(240mm x 165mm x 52mm)
Pages: 996
Imprint: North-Holland
Publisher: Elsevier Science & Technology
Publish Date: 21-Jun-2001
Country of Publication: United States

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Handbook of Automated Reasoning book by Alan J. A. Robinson and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Books By Author Alan J. A. Robinson

Handbook of Automated Reasoning by Alan J. A. Robinson

Handbook of Automated Reasoning

Hardback, June 2001
$324.90