Noch Fragen? 0800 / 33 82 637

Automated Reasoning

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

Produktform: Buch / Einband - flex.(Paperback)

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