Noch Fragen? 0800 / 33 82 637

Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-45744-2 / 978-3540457442 / 9783540457442

Verlag: Springer Berlin

Erscheinungsdatum: 29.06.2003

Seiten: 712

Herausgegeben von Alexander Leitsch, Rajeev Gore, Tobias Nipkow

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück