Поиск :
Личный кабинет :
Электронный каталог: Нгуен Тхи Минь Ву - Разработка методов темпоральной спецификации и дедукции для онтологий: 05.13.17 "Теоретические ос...
Нгуен Тхи Минь Ву - Разработка методов темпоральной спецификации и дедукции для онтологий: 05.13.17 "Теоретические ос...
Автореферат
Автор: Нгуен Тхи Минь Ву
Разработка методов темпоральной спецификации и дедукции для онтологий: 05.13.17 "Теоретические ос... : автореферат кандидата технических наук
2017 г.
ISBN отсутствует
Автор: Нгуен Тхи Минь Ву
Разработка методов темпоральной спецификации и дедукции для онтологий: 05.13.17 "Теоретические ос... : автореферат кандидата технических наук
2017 г.
ISBN отсутствует
Автореферат
А Н379
Нгуен Тхи Минь Ву.
Разработка методов темпоральной спецификации и дедукции для онтологий: 05.13.17 "Теоретические основы информатики" : автореферат кандидата технических наук / Нгуен Тхи Минь Ву, Нац. исслед. ун-т "МЭИ" . – М., 2017 . – 20 с. – URL: http://elib.mpei.ru/elib/view.php?id=9372 .
Тезаурус = ГАСНТИ 50.05.09
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования : языки программирования и спецификаций
Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика
Тезаурус = ГАСНТИ 28.21
Тезаурус = Кибернетика : теория информации
Кх - 2 экз.
А Н379
Нгуен Тхи Минь Ву.
Разработка методов темпоральной спецификации и дедукции для онтологий: 05.13.17 "Теоретические основы информатики" : автореферат кандидата технических наук / Нгуен Тхи Минь Ву, Нац. исслед. ун-т "МЭИ" . – М., 2017 . – 20 с. – URL: http://elib.mpei.ru/elib/view.php?id=9372 .
Тезаурус = ГАСНТИ 50.05.09
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования : языки программирования и спецификаций
Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика
Тезаурус = ГАСНТИ 28.21
Тезаурус = Кибернетика : теория информации
Кх - 2 экз.