Handbook of Automated Reasoning: Volume II

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

New
Illustrated
2001
$193.20

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.

$193.20

Save:$51.29 (21%)

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

$193.20

Synopsis

$193.20

More Information