Вы здесь

Главная

Logic, Language, Information, and Computation: Proc./26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
теория автоматов
база данных
формальный язык
формальная логика
лингвистика
модальная логика
естественный язык
решение проблем
model checking
управление проектом
последовательные вычисления
теория множеств
доказательство теорем
Стр.: 
662 p.
Редактор: 
Iemhoff R.
Moortgat M.
de Queiroz R.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11541
Карточка: 

Logic, Language, Information, and Computation: Proc./26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2019Ed. by Iemhoff R., Moortgat M., de Queiroz R..-Berlin.: Springer, 2019.-Vol. 11541.-662 p.-(Lecture Notes in Computer Science).