Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... 2605 (Lecture Notes in Computer Science)

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... 2605 (Lecture Notes in Computer Science)

by Dieter Hutter (Author), Dieter Hutter (Author), Werner Stephan (Author)

$115.32

Save:$10.00 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 580
Edition: 2005
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540250514
ISBN 13: 9783540250517