Полное описание

Ар07-1816
Новосельцев, В. Б. Формальная теория структурных моделей описания информационных систем и методы установления выводимости : автореф. дис. ... д-ра физ.-мат. наук : 05.13.01 / В. Б. Новосельцев. - Томск : [б. и.], 2006. - 31 с. - Библиогр.: с. 30-31 (30 назв.). - Текст : непосредственный.

ГРНТИ	УДК
28.23.17	004.832.3(043)

Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)