Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Handbook of Automated Reasoning : Volume II, Hardback Book

Handbook of Automated Reasoning : Volume II Hardback

Edited by Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA) Robinson, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M1 Voronkov

Part of the Handbook of Automated Reasoning series

Hardback

Available to Order - This title is available to order, with delivery expected within 2 weeks

Description

6 1/2 X 9 7/16 in Part V. Higher-order logic and logical frameworks. Chapter 15. Classical Type Theory (Peter B. Andrews). 1. Introduction to type theory. 2. Metath eoretical foundations. 3. Proof search. 4. Conclusion. Bibliography. Index. Chapter 16. Higher-Order Unification and Matching (Gilles Dowek) . 1. Type Theory and Other Set Theories. 2. Simply Typed &lgr;-calculus. 3. Undecidab ility. 4. Huet's Algorithm. 5. Scopes Ma nagement. 6. Decidable Subcases. 7. Unif ication in &lgr;-calculus with Dependent Types. Bibliogr aphy. Index. Chapter 17. Logical Frameworks (Frank Pfenning). 1. Introduction. 2. Abstract syntax. 3. Judgments and deductions. 4. Meta-programming and proof search. 5. Representing meta-theory. 6. Appendix: the simply-typed

Information

£170.00

Available to Order - This title is available to order, with delivery expected within 2 weeks
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information

Also in the Handbook of Automated Reasoning series

Handbook of Automated Reasoning

£145.00

Add to Basket