Taschenbuch
Sofort lieferbar
50,00 €

Über Automated Reasoning with Analytic Tableaux and Related Methods

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions.

Sprache:
Englisch

ISBN:
9783319243115

Verlag:
Springer International Publishing AG

Einband:
Taschenbuch

Seitenzahl:
355

Veröffentlicht:
12. November 2015

Ausgabe:
12015

Abmessungen:
155x235x20 mm.

Gewicht:
5621 g.

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

Versandkostenfrei

Sofort lieferbar

Beschreibung von Automated Reasoning with Analytic Tableaux and Related Methods

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions.

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