Знайдено документів: 1
Інформація × Реєстраційний номер 0210U000605, 0108U002462 , Науково-дослідна робота Назва роботи Румунсько-український проект з керування математичними знаннями Назва етапу роботи Керівник роботи Анісімов Анатолій Васильович, Доктор фізико-математичних наук Дата реєстрації 01-03-2010 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Розроблені мовні засоби подання формальних математичних знань. Розроблені та імплементовані логіко-онтологічні методи підтримки керування матемаичними знаннями. Опис продукції нові технологічні методи і інструментальних програмних засобів, які покращують інтелектуальні можливості сучасних і майбутніх інформаційних (математичних) систем завдяки дослідженійї обробці інформації та управлінню математичнимі знаннями Автори роботи Анісімов Анатолій Васильович Лялецький О.О. Лялецький Олександр Вадимович Медведев Михайло Генадійович Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
Румунсько-український проект з керування математичними знаннями
Керівник: Анісімов Анатолій Васильович. Румунсько-український проект з керування математичними знаннями. (Етап: ). Київський національний університет імені Тараса Шевченка. № 0210U000605
Знайдено документів: 1

Оновлено: 2026-03-19


Роздрукувати цю сторінку