Host Europe GmbH
header_caution_sign_verlauf.gif, 9 kB

Die von Ihnen gewünschte Seite ist aufgrund von Wartungsarbeiten temporär nicht erreichbar.

Bitte versuchen Sie es zu einem späteren Zeitpunkt noch einmal.

This site is temporarily down for maintenance.

Please try again later.

Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 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-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