Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада | Научно-инновационный портал СФУ

Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Математика в современном мире

Год издания: 2017

Ключевые слова: логики

Издание

Журнал: Математика в современном мире

Номера страниц: 67-68

Место издания: Новосибирск

Издатель: Изд-во Института математики

Персоны

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.