|
|
ДС128610
Кеберле, Наталья Геннадьевна.
Вычислительные методы верификации темпоральных ограничений целостности в процессе управления изменениями в онтологиях [Текст] : дис. ... канд. техн. наук : 01.05.02 / Кеберле Наталья Геннадьевна ; Запорож. нац. ун-т. - Запорожье, 2011. - 210 л. - Бібліогр.: арк. 152-168.
Тематичний рубрикатор:
Дод. точки доступу:
Запорожский национальный университет
Видання зберігається у :
Основний фонд
|
|