Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада
Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада
Описание
Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Международная конференция "Математика в современном мире", посвященная 60-летию Института математики им. С.Л. Соболева; Новосибирск; Новосибирск