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

Handbook of Automated Reasoning

Andrei Voronkov

Price
SEK 3,269

Ordered from remote warehouse

Expected delivery Jul 28 - Aug 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

Handbook of Automated Reasoning

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

More by Andrei Voronkov

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