Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of his 60th Birthday
CHF 150.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Stephan, Werner (Hrsg.)
- ISBN: 978-3-540-25051-7
- EAN: 9783540250517
- Produktnummer: 1451766
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2005
- Seitenangabe: 580 S.
- Masse: H23.5 cm x B15.5 cm x D3.0 cm 867 g
- Auflage: 2005
- Abbildungen: Paperback
- Gewicht: 867
6 weitere Werke von Dieter (Hrsg.) Hutter:
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 the Occasion of his 60th Birthday
Ebook (PDF Format)
CHF 146.50
Security in Pervasive Computing
Essays in Honor of Jörg H. Siekmann on the Occasion of his 60th Birthday
Essays in Honor of Jörg H. Siekmann on the Occasion of his 60th Birthday
Ebook (PDF Format)
CHF 93.50
Applied Formal Methods - FM-Trends 98
Essays in Honor of Jörg H. Siekmann on the Occasion of his 60th Birthday
Essays in Honor of Jörg H. Siekmann on the Occasion of his 60th Birthday
Ebook (PDF Format)
CHF 100.00
Security in Pervasive Computing
Essays in Honor of Jörg H. Siekmann on the Occasion of his 60th Birthday
Essays in Honor of Jörg H. Siekmann on the Occasion of his 60th Birthday
Ebook (PDF Format)
CHF 93.50
Bewertungen
Anmelden