Noch Fragen? 0800 / 33 82 637

6th Conference on Automated Deduction

New York, USA, June 7-9, 1982

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-540-39240-8 / 978-3540392408 / 9783540392408

Verlag: Springer Berlin

Erscheinungsdatum: 05.10.2005

Seiten: 389

Herausgegeben von D. W. Loveland

85,59 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück