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)

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)

Synopsis

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

$312.32

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 508
Edition: 1998
Publisher: Springer
Published: 30 Jun 1998

ISBN 10: 0792351290
ISBN 13: 9780792351290