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