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

Свойство финитной аппроксимируемости временной логики знания с универсальной модальностью LT K.slU : доклад, тезисы доклада

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

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

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

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

Издание

Журнал: МАЛЬЦЕВСКИЕ ЧТЕНИЯ

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

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

Издатель: Б. и.

Персоны

  • Зверева Т. Ю. (Институт математики и фундаментальной информатики СФУ)
  • Башмаков С. И. (Институт математики и фундаментальной информатики СФУ)

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

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

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