Handbook of Automated Reasoning

Robinson A. Voronkov A. Robinson Alan

ISBN 10: 0444508120 / ISBN 13: 9780444508126

Published by Elsevier, 2001

About this Item

pp. 1188. Seller Inventory # 18534744

Bibliographic Details

Title: Handbook of Automated Reasoning

Publisher: Elsevier

Publication Date: 2001

Binding: Hardcover

Condition: New

About this title

Synopsis:

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.