Як користуватися пошуком
Знайдено документів: 3
НДДКР ОК
Розробити систему дедуктивних та індуктивних доведень теорем у математичному інформаційному середовищі.
1
Керівник: Капітонова Ю.В.,Летичевський О.А.. Розробити систему дедуктивних та індуктивних доведень теорем у математичному інформаційному середовищі.. (Етап: ). Інститут кібернетики ім. В.М.Глушкова НАН України. № 0207U008334
НДДКР ОК
Верифікація маштабовних розподілених програм для багатопроцесорних та кластерних систем.
Керівник: Летичевський О.А.. Верифікація маштабовних розподілених програм для багатопроцесорних та кластерних систем.. (Етап: Верифікація маштабовних розподілених програм для багатопроцесорних та кластерних систем.). Інститут кібернетики ім. В.М.Глушкова НАН України. № 0307U007734
НДДКР ОК
Розробити методи та засоби продукування і маніпулювання знаннями у операційному середовищі інтелектуалізації інформаційних технологій.
2
Керівник: Летичевський Олександр Адольфович,Перевозчикова Ольга Леонідівна. Розробити методи та засоби продукування і маніпулювання знаннями у операційному середовищі інтелектуалізації інформаційних технологій.. (Етап: ). Інститут кібернетики ім. В.М.Глушкова НАН України. № 0207U000006
Знайдено документів: 3

Оновлено: 2026-11-10


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