Перейти к содержимому

КонференцииИВМ СО РАН

Архив конференций

Автор

Зверева Татьяна Юрьевна

Работы · 1

Многоагентная логика линейного нерефлексивного нетранзитивного времени LTK.sl: семантика, унификация и свойство конечной модели

Выступление

Конференция молодых ученых по математическому моделированию, информационным технологиям и фундаментальной математике (2024)

Участие в конференциях

Конференция молодых ученых по математическому моделированию, информационным технологиям и фундаментальной математике (2024)

28 марта 2024 г.

Автор работы · Докладчик