LogoTver State University Repository

Items where Division is "Университеты > TverSU > Faculties > PMK > Кафедра информатики" and Year is 2008

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Jump to: В | Д | К | П | С
Number of items: 6.

В

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

Д

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

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

К

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

П

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

С

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

This list was generated on Wed Jun 19 01:59:20 2019 MSK.