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

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н-I - контрольний примірник	1	Перейти на сайт