Знайдено документів: 1
Інформація × Реєстраційний номер 0200U008805, 0107U009136 , Науково-дослідна робота Назва роботи "Логіко - онтологічні дослідження в автоматизації міркувань" Назва етапу роботи Керівник роботи Анісімов Анатолій Васильович, Доктор фізико-математичних наук Дата реєстрації 21-12-2000 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Аналізуються сучасні системи автоматизації міркувань; розвиваються деякі загальні принципи побудови формалізованих мов натурального типу для представлення та обробки математичних знань у формі, найбільш зручній для користувача; дається теоретичне обґрунтування проведення логіко-онтологічних перетворень у рамках спеціального логічного формалізму. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
"Логіко - онтологічні дослідження в автоматизації міркувань"
Керівник: Анісімов Анатолій Васильович. "Логіко - онтологічні дослідження в автоматизації міркувань". (Етап: ). Київський національний університет імені Тараса Шевченка. № 0200U008805
Знайдено документів: 1

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


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