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
Íkr 40,939
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 17 - 31
Get notified about new Andrei Voronkov releases

Our customers say:

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

Not rated yet

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.)

More from the same publisher

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