Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)

by Wolfgang Bibel (Editor), P.H. Schmitt (Editor)

New
Paperback
2010
$296.97

$296.97

Quantity

10 in stock

More Information

Format: Paperback
Pages: 504
Edition: Softcover reprint of hardcover 1st ed. 1998
Publisher: Springer
Published: 09 Dec 2010
ISBN 10: 9048150507
ISBN 13: 9789048150502

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)

New

$296.97

$296.97

More Information