| 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.
Free easy-to-follow course for anyone in South Africa who wants to learn how to start a digital business.