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 ... Notes in Computer Science (2605), Band 2605)

Mechanizing

von: Dieter Hutter · Werner Stephan

Taschenbuch

ISBN: 978-3-540-25051-7

ISBN-10: 3-540-25051-4

Springer · 2008