LogoРепозиторий Тверского госуниверситета

Ресурсы подразделения "Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики" за 2008-й год

На уровень вверх
Экспорт в [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Группировка по: Авторы | Тип объекта | Нет группировки
Перейти к: В | Д | К | П | С
Количество объектов: 6.

В

Валиев, М.К. и Дехтярь, М.И. (2008) Вероятностные мультиагентные системы: семантика и верификация. Вестник ТвГУ. Серия: Прикладная математика (4[11]). С. 9-22. ISSN 1995-0136

Д

Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные в арифметике Семенова. Вестник ТвГУ. Серия: Прикладная математика (1[8]). С. 65-75. ISSN 1995-0136

Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные. Вестник ТвГУ. Серия: Прикладная математика (3[10]). С. 5-24. ISSN 1995-0136

К

Карлов, Б.Н. (2008) Нормальные формы и автоматы для категориальных грамматик зависимостей. Вестник ТвГУ. Серия: Прикладная математика (4[11]). С. 23-43. ISSN 1995-0136

П

Попов, И.В. (2008) О невозможности задания линейного порядка при помощи недетерминированных программ в группоидах специального вида. Вестник ТвГУ. Серия: Прикладная математика (3[10]). С. 25-36. ISSN 1995-0136

С

Снятков, А.С. (2008) Разрешимость теории T_f=\Th(\omega, 0, 1, <, +, f(x), F(x)). Вестник ТвГУ. Серия: Прикладная математика (2[9]). С. 39-51. ISSN 1995-0136

Этот список был создан Tue Mar 26 10:25:00 2019 MSK.