Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Automated Reasoning with Analytic Tableaux and Related Methods

28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-030-29026-9 / 978-3030290269 / 9783030290269

Verlag: Springer International Publishing

Erscheinungsdatum: 22.08.2019

Seiten: 477

Herausgegeben von Andrei Popescu, Serenella Cerrito

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück