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
£ 243.99

Ordered from remote warehouse

Expected delivery Jan 6 - 14, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

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 by Andrei Voronkov

Show all

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