Разработка методов темпоральной спецификации и дедукции для онтологий
Нгуен Тхи Минь Ву. Разработка методов темпоральной спецификации и дедукции для онтологий: диссертация ... кандидата Технических наук: 05.13.17 / Нгуен Тхи Минь Ву;[Место защиты: ФГБОУ ВО «Национальный исследовательский университет «МЭИ»], 2017