Mechanizing Mathematical Reasoning

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

Essays in Honor of Jörg H Siekmann on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 2605 – Lecture Notes in Artificial Intelligence

ISBN: 3540250514
ISBN 13: 9783540250517
Herausgeber: Dieter Hutter/Werner Stephan
Verlag: Springer Verlag GmbH
Umfang: x, 570 S.
Erscheinungsdatum: 23.02.2005
Auflage: 1/2005
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1753232 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …