Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2022, Deerfield Beach,FL,USA, January 2022 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2022

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

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

булевы функции

вычислимость

разрешимость

динамическая логика

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

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

лингвистика

модальная логика

Стр.:

377 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

13137

Карточка:

Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2022, Deerfield Beach,FL,USA, January 2022Ed. by Artemov S., Nerode A..-Berlin.: Springer, 2022.-Vol. 13137.-377 p.-(Lecture Notes in Computer Science).