Call Boomerang Books 1300 36 33 32

Get Latest Book News + FREE Shipping. Subscribe to the Boomerang Books Bulletin eNewsletter right now!

Description - Handbook of Automated Reasoning by Alan J. A. Robinson

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 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 mm)
Pages: 996
Imprint: North-Holland
Publisher: Elsevier Science & Technology
Publish Date: 21-Jun-2001
Country of Publication: United States

Other Editions - Handbook of Automated Reasoning by Alan J. A. Robinson

Book Reviews - Handbook of Automated Reasoning by Alan J. A. Robinson

» 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 Alan J. A. Robinson

Handbook of Automated Reasoning by Alan J. A. Robinson
Hardback, June 2001
$324.90