Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Automated Reasoning

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

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-42254-9 / 978-3540422549 / 9783540422549

Verlag: Springer Berlin

Erscheinungsdatum: 06.06.2001

Seiten: 712

Auflage: 1

Herausgegeben von Alexander Leitsch, Rajeev Gore, Tobias Nipkow

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück