Handbook of Automated Reasoning: Volume II

by Andrei Voronkov (Editor), Andrei Voronkov (Editor), Alan J.A. Robinson (Editor)

New
Illustrated
2001
$190.78

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.

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.

$190.78

Save:$57.33 (23%)

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 1188
Edition: Illustrated
Publisher: North Holland
Published: 21 Jun 2001
ISBN 10: 0444508120
ISBN 13: 9780444508126

Handbook of Automated Reasoning: Volume II

New

$190.78

Synopsis

$190.78

More Information