Temporal and multi-agent logics, common knowledge, satisfability, unifcation, admissibility : доклад, тезисы доклада

Описание

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

Конференция: МАЛЬЦЕВСКИЕ ЧТЕНИЯ; Новосибирск; Новосибирск

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

Ссылки на полный текст

Издание

Номера страниц: 22

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

Персоны

  • Rybakov V. V. (Institute of Mathematics and Fundamental Informatics, Siberian Federal University)

Вхождение в базы данных