Ресурсы подразделения "Университеты > Тверской государственный университет > Факультеты > Математический > Кафедра алгебры и математической логики" за 2007-й год
Перейти к: Статья Количество объектов: 1. СтатьяРыбаков, М.Н. (2007) Сложность константного фрагмента пропозициональной динамической логики. Вестник ТвГУ. Серия: Прикладная математика (2[5]). С. 5-17. ISSN 1995-0136 |