Handbook of Automated Reasoning: Volume II

By Andrei Voronkov

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.

• Format: Hardcover
• Language: English
• ISBN: 0444508120
• ISBN13: 9780444508126
• Release Date: July 2001
• Publisher: North-Holland
• Length: 1188 Pages
• Weight: 4.56 lbs.
• Dimensions: 2.4" x 6.7" x 9.6"