, June 29, 2023
-
Приветственное слово
A. A. Onoprienko, A. L. Semenov
June 29, 2023 11:15
-
О приложениях эпистемической логики в компьютерных науках
V. V. Dolgorukov
June 29, 2023 11:30
-
Используется ли математическая логика в современной компьютерной лингвистике?
A. A. Sorokin
June 29, 2023 12:00
-
Генерация доказательств математических теорем с помощью языковых моделей
Yu. N. Yarovikov
June 29, 2023 12:30
-
Пространственный интеллект беспилотного автомобиля и принятие решений на основе правил
S. P. Kikot'
June 29, 2023 13:30
-
Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода
D. A. Serova
June 29, 2023 14:00
-
О теориях подмножеств некоторых алгебр
B. N. Karlov
June 29, 2023 14:30
-
Формальная верификация на Arend
P. P. Sokolov
June 29, 2023 16:00
-
Базовые категориальные грамматики с однозначным присвоением типов и одним делением
M. E. Vishnikin
June 29, 2023 16:30
-
Графовые грамматики
T. G. Pshenitsyn
June 29, 2023 17:00
© , 2025
Organisations