Ресурсы подразделения "Кафедра информатики" за 2011-й год

Статья

Дадеркин, Д.О. (2011) Грамматика языка описания иерархических систем управления. Вестник ТвГУ. Серия: Прикладная математика (21). С. 39-58. ISSN 1995-0136

Карлов, Б.Н. (2011) О свойствах языков, задаваемых мультимодальными категориальными грамматиками зависимостей. Вестник ТвГУ. Серия: Прикладная математика (22). С. 91-110. ISSN 1995-0136

Шушунов, А.С. и Ососков, А.В. (2011) Об общем методе доказательства разрешимости элементарных теорий. Вестник ТвГУ. Серия: Прикладная математика (21). С. 59-74. ISSN 1995-0136