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: 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