Handbook of Automated Reasoning

Robinson A. Voronkov A.

ISBN 10: 0444508120 / ISBN 13: 9780444508126

Published by Elsevier, 2001

About this Item

pp. 1188 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam.

Seller Inventory # 8361741

Bibliographic Details

• Title: Handbook of Automated Reasoning
• Publisher: Elsevier
• Publication Date: 2001
• Language: English
• ISBN 10: 0444508120
• ISBN 13: 9780444508126
• 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.