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)

103.94 EUR
Preis aktualisiert am: 25-04-2026 08:59:46
Siehe Produktangebot

Gesponsert Mechanizing Mathematical Reasoning

106.99 EUR
Preis aktualisiert am: 25-04-2026 11:24:55
Siehe Produktangebot
Bezeichner
ISBN Dieter Hutter 3540250514
MPN Dieter Hutter Illustrations
Abmessungen / Gewicht
Hauptmerkmale
Dieter Hutter