Items related to Handbook of Automated Reasoning: v. 2
Handbook of Automated Reasoning: Vol 2 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. Full description
"synopsis" may belong to another edition of this title.
About the Author:
J. Alan Robinson is University Professor Emeritus at Syracuse University. Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.
"About this title" may belong to another edition of this title.
- PublisherMIT Press
- Publication date2001
- ISBN 10 026218222X
- ISBN 13 9780262182225
- BindingHardcover
- Number of pages1185
- EditorRobinson J.Alan, Voronkov Andrei
Buy New
Learn more about this copy
£ 413.56
Shipping:
£ 3.19
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Handbook of Automated Reasoning
Seller:
Rating
Book Description Hardcover. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_026218222X
Buy New
£ 413.56
Convert currency
Stock Image
Handbook of Automated Reasoning
Seller:
Rating
Book Description Hardcover. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think026218222X
Buy New
£ 413.55
Convert currency
Stock Image
Handbook of Automated Reasoning
Seller:
Rating
Book Description Hardcover. Condition: new. New. Seller Inventory # Wizard026218222X
Buy New
£ 415.04
Convert currency
Stock Image
Handbook of Automated Reasoning
Seller:
Rating
Book Description Hardcover. Condition: new. Brand New Copy. Seller Inventory # BBB_new026218222X
Buy New
£ 415.52
Convert currency