Знайдено документів: 1
Інформація × Реєстраційний номер 0109U005041, ( 0211U002741  ) Науково-дослідна робота Назва роботи Автоматизація обробки математичних знань в природничому стилі. Керівник роботи Анісімов Анатолій Васильович, Доктор фізико-математичних наук Дата реєстрації 20-12-2010 Організація виконавець Київський національний університет імені Тараса Шевченка Опис роботи Розробка, теоретичне обгрунтування та втілення на практиці нових методів і комп'ютерних засобів для надання математичної допомоги в природничому стилі, які повинні давати досить виразні мовні можливості подання математичних знань, потужні методи проведення доведень та міркувань. Додано в НРАТ 2024-12-10 Закрити
НДДКР РК
Автоматизація обробки математичних знань в природничому стилі.
Керівник: Анісімов Анатолій Васильович. Автоматизація обробки математичних знань в природничому стилі.. Київський національний університет імені Тараса Шевченка. № 0109U005041
Знайдено документів: 1

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


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