Before you leave...
Take 20% off your first order
20% off
Enter the code below at checkout to get 20% off your first order
Handbook of Automated Reasoning: Volume II (Hardcover) (ISBN-13: 9780444508126)
Vendor:
Alan J. a. Robinson
Product type:
Books
- $275.00
$275.00- $275.00
- Unit price
- per
Subtotal:
$275.00
Description
xThis 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.
Author: Alan J. a. Robinson
ISBN-10: 0444508120
ISBN-13: 9780444508126
Publisher: North-Holland
Language: English
Published: 06/21/2001
Pages: 1188
Format: Hardcover
Weight: 4.56lbs
Size: 9.61h x 6.69w x 2.38d
Author: Alan J. a. Robinson
ISBN-10: 0444508120
ISBN-13: 9780444508126
Publisher: North-Holland
Language: English
Published: 06/21/2001
Pages: 1188
Format: Hardcover
Weight: 4.56lbs
Size: 9.61h x 6.69w x 2.38d
Recently Viewed Products
- Choosing a selection results in a full page refresh.