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.
Buy Handbook of Automated Reasoning book by Alan J. A. Robinson from Australia's Online Bookstore, Boomerang Books.
(240mm x 165mm x 60mm)
Publisher: Elsevier Science & Technology
Country of Publication: