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 |
| Предмети: |