Кеберле Наталія Геннадіївна. Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях. : Дис... канд. наук: 01.05.02 - 2011.