Электронный каталог

Диссертация
Д Н379

Нгуен Тхи Минь Ву.
Разработка методов темпоральной спецификации и дедукции для онтологий: 05.13.17 "Теоретические основы информатики" : диссертация кандидата технических наук / Нгуен Тхи Минь Ву, Нац. исслед. ун-т "МЭИ" . – М., 2017 . – 159 с. – URL: http://elib.mpei.ru/elib/view.php?id=9371 .


Тезаурус = ГАСНТИ 50.05.09
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования : языки программирования и спецификаций
Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика
Тезаурус = ГАСНТИ 28.21
Тезаурус = Кибернетика : теория информации

Д 9105 Кх