Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings: 1421 (Lecture Notes in Computer Science)

by Claude Kirchner (Author), Claude Kirchner (Author), Helene Kirchner (Author)

New
Paperback
2008
$60.58

$60.58

Save:$38.09 (39%)

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 464
Edition: 1998
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540646752
ISBN 13: 9783540646754

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings: 1421 (Lecture Notes in Computer Science)

New

$60.58

$60.58

More Information