Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Co... (Bog, Paperback / softback, Engelsk)

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25–28, 2017, Proceedings

(Bog, Paperback / softback, Engelsk)

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2017
Udgivelsesdato 31-08-2017
Første udgivelsesår 2017
Serie Lecture Notes in Artificial Intelligence
Illustrationer 75 Illustrations, black and white; XII, 381 p. 75 illus.
Fagredaktør Renate A. Schmidt, Claudia Nalon
Originalsprog Switzerland
Sideantal 381
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 381 pages, 75 Illustrations, black and white; XII, 381 p. 75 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319669014