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

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-031-63497-0 / 978-3031634970 / 9783031634970

Verlag: Springer International Publishing

Erscheinungsdatum: 05.09.2024

Auflage: 1

Herausgegeben von Marijn Heule, Renate A. Schmidt, Christoph Benzmüller

ca. 70,61 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand

vorbestellbar

zurück