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

Seiten: 482

Auflage: 1

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

42,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück