Für die Filterung wurden keine Ergebnisse gefunden!
- paperback
- 580 Seiten
- Erschienen 2008
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
"Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday" ist eine Sammlung von wissenschaftlichen Essays, die Jörg H. Siekmanns bedeutende Beiträge zur Informatik und insbesondere zur...
ab 10,01 €