Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада

Описание

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

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

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

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

Издание

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

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

Издатель: Институт математики им. С. Л. Соболева

Персоны

  • Bashmakov S.I. (Institute of mathematics and computer science, Siberian Federal University)
  • Kosheleva A.V. (Institute of space and informatic technologies, Siberian Federal University)
  • Rybakov V. (Department of Computing and Mathematics, Manchester Metropolitan University)

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