Mechanizing Mathematical Reasoning

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert 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)

105.94 EUR
Preis aktualisiert am: 22-08-2026 11:02:41
Siehe Produktangebot

Gesponsert Mechanizing Mathematical Reasoning

109.99 EUR
Preis aktualisiert am: 22-08-2026 13:26:44
Siehe Produktangebot
Bezeichner
ISBN Dieter Hutter 3540250514
MPN Dieter Hutter Illustrations
Abmessungen / Gewicht
Hauptmerkmale
Dieter Hutter