Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Automated Deduction – CADE-22

22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-642-02959-2 / 978-3642029592 / 9783642029592

Verlag: Springer Berlin

Erscheinungsdatum: 26.07.2009

Seiten: 504

Herausgegeben von Renate Schmidt

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück