Handbook of Automated Reasoning - Andrei Voronkov - Books - Elsevier Science & Technology - 9780444508126 - June 21, 2001
In case cover and title do not match, the title is correct

Andrei Voronkov
Handbook of Automated Reasoning

Price
$ 324.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

1188 pages, indexes

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 21, 2001
ISBN13 9780444508126
Publishers Elsevier Science & Technology
Pages 1188
Dimensions 165 × 240 × 60 mm   ·   2.07 kg
Editor Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA)
Editor Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.)

Mere med samme udgiver

See all of Andrei Voronkov ( e.g. Paperback Book and Hardcover Book )