Developments in Language Theory: Proc./21st International Conference, DLT 2017, Liege, Belgiym, August 2017 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2017

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

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

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

грамматика

контекстно-свободный язык

дерево языков

регулярный язык

теория сложности

верификация

теория доказательств

комбинаторика

теория графов

алгоритмический

Стр.:

379 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

10396

Карточка:

Developments in Language Theory: Proc./21st International Conference, DLT 2017, Liege, Belgiym, August 2017Ed. by Charlier E., Leroy J., Rogo M..-Berlin.: Springer, 2017.-Vol. 10396.-379 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке:

MONO12 552