Taschenbuch
Sofort lieferbar
50,00 €

Über Automated Reasoning with Analytic Tableaux and Related Methods

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.

Sprache:
Englisch

ISBN:
9783030290252

Verlag:
Springer Nature Switzerland AG

Einband:
Taschenbuch

Seitenzahl:
477

Veröffentlicht:
14. August 2019

Ausgabe:
12019

Abmessungen:
155x235x0 mm.

Gewicht:
759 g.

50,00 € inkl. MwSt.
~~53,49 €~~ UVP

Versandkostenfrei

Sofort lieferbar

Verlängerte Rückgabefrist bis 31. Januar 2025

Beschreibung von Automated Reasoning with Analytic Tableaux and Related Methods

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.

Kund*innenbewertungen von Automated Reasoning with Analytic Tableaux and Related Methods

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Automated Reasoning with Analytic Tableaux and Related Methods ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Automated Reasoning with Analytic Tableaux and Related Methods

Beschreibung von Automated Reasoning with Analytic Tableaux and Related Methods

Kund*innenbewertungen von Automated Reasoning with Analytic Tableaux and Related Methods

Willkommen bei den Tales Buchfreunden und -freundinnen