|
|
РА380819
Кеберле, Наталія Геннадіївна.
Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 / Кеберле Наталія Геннадіївна ; Харк. нац. ун-т ім. В. Н. Каразіна. - Х., 2011. - 20 с. : табл.
Тематичний рубрикатор:
Дод. точки доступу:
Харківський національний університет імені В. Н. Каразіна
Видання зберігається у :
Основний фонд
|
|