Call Boomerang Books 1300 36 33 32

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

This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

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

Book Details

ISBN: 9780444508126
ISBN-10: 0444508120
Format: Hardback
(240mm x 165mm x mm)
Pages: 1188
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
$276.30