Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning). This item is unavailable.
Language: English
Published by North-Holland, 2001
- Hardcover
- New
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
AbeBooks seller since January 6, 2003
Unavailable
Hardcover
Condition: New
US$ 266.78
Item description from seller
1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. This item is printed on demand.
Seller Inventory # __0444508120
- Title
- Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
- Author
- Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)
- Publisher
- North-Holland
- Publication year
- 2001
- Condition
- Brand New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0444508120
- ISBN 13
- 9780444508126
- Item weight
- 2.43 kilograms
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.
"Synopsis" may belong to another edition of this title.
Search results for Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
There are 2 more copies of this bookView all results