Noch Fragen? 0800 / 33 82 637

Automated Reasoning

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

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-031-63500-7 / 978-3031635007 / 9783031635007

Verlag: Springer International Publishing

Erscheinungsdatum: 02.07.2024

Seiten: 424

Auflage: 1

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

79,17 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück