| Author | A. Robinson, A. Voronkov |
| Format | Hardcover |
| ISBN | 9780444508126 |
| Publication Date | 18/04/2005 |
| Publisher | North-Holland |
| Manufacturer | Elsevier Science |
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.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.