Monotonicity in Logic and Language: Proc./2nd Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM, 2020, Beijing, China, December 2020 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2021

Ключевые слова:

теория автоматов

формальный язык

формальная логика

формальный метод

формальная семантика

система обработки естественного языка

операционная семантика

Стр.:

239 p.

Редактор:

Westerståhl D.

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

12564

Карточка:

Monotonicity in Logic and Language: Proc./2nd Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM, 2020, Beijing, China, December 2020Ed. by Deng D., Liu F., Liu M., Westerståhl D..-Berlin.: Springer, 2021.-Vol. 12564.-239 p.-(Lecture Notes in Computer Science).