Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25–28, 2017, Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319669014
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
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 |