Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

AvClaudia Nalon,Renate A. Schmidt

E-bok
Engelska, 2017

896 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. 

The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt - Automated Reasoning, Häftad
Del 14740

Automated Reasoning

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt

Häftad, 2024

824 kr

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt - Automated Reasoning, Häftad
Del 14739

Automated Reasoning

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt

Häftad, 2024

449 kr

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(50)

209 kr259 kr

Alison Espach - Bröllopsgästerna, Pocket
  • 4 för 3

Bröllopsgästerna

Alison Espach

Pocket, 2026

3,7 utav 5 stjärnor. Totalt antal röster:(38)

99 kr

Paula Hawkins - Den blå timmen, Pocket
  • 4 för 3

Den blå timmen

Paula Hawkins

Pocket, 2026

4,1 utav 5 stjärnor. Totalt antal röster:(9)

69 kr