Logic, language, information and computation : 21st International workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : Proceedings /
| Други автори: | Kohlenbach, Ulrich (редактор), Barcelo, Pablo (редактор), Queiroz, Ruy J. G. B. de (редактор) |
|---|---|
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Berlin etc. :
Springer-Verl.,
2014.
|
| Серия: |
Lecture notes in computer science FoLLI publications on logic, language and information
8652 |
| Предмети: |