JustBooks.de ist eine Suchmaschine, um online neue und gebrauchte Bücher zu suchen und Preise zu vergleichen. Mit JustBooks.de können über 150 Millionen neue und seltene Bücher gefunden und gekauft werden.

Mechanizing Mathematical Reasoning:
Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday

von Dieter Hutter und Werner Stephan

ISBN 3540250514 / 9783540250517 / 3-540-25051-4
Verlag Springer Verlag
Land Deutschland
Sprache Englisch
Ausgabe Softcover
List price $91.00
Hier finden Sie alle Ausgaben

 


› Sammlerstücke von 'Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday' finden