Automated Deduction – CADE 29

29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Lecture Notes in Artificial Intelligence
Lecture Notes in Computer Science

Sprache(n): Englisch

ISBN: 978-3-031-38498-1 / 978-3031384981 / 9783031384981

Verlag: Springer International Publishing

Erscheinungsdatum: 03.09.2023

Seiten: 592

Auflage: 1

Herausgegeben von Cesare Tinelli, Brigitte Pientka

42,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück