Logic, language, information and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : Proceedings /
| Други автори: | Libkin, Leonid (редактор), Kohlenbach, Ulrich (редактор), Queiroz, Ruy J. G. B. de (редактор) |
|---|---|
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Berlin etc. :
Springer-Verl.,
2013.
|
| Серия: |
Lecture notes in computer science FoLLI publications on logic, language and information
8071 |
| Предмети: |
| Физически характеристики: |
X, 283 p. : diagr., tab. ; 24 cm. |
|---|---|
| Библиография: |
Bibliogr. p. 9-10, 28 etc. |
| ISBN: |
978-3-642-39991-6 |
| ISSN: |
0302-9743 |