Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Automated Reasoning with Analytic Tableaux and Related Methods

32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-031-43512-6 / 978-3031435126 / 9783031435126

Verlag: Springer International Publishing

Erscheinungsdatum: 14.09.2023

Seiten: 482

Auflage: 1

Herausgegeben von Josef Urban, Revantha Ramanayake

42,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück