Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Non-unifiability in linear temporal logic of knowledge with multi-agent relations

Башмаков, С. И., Кошелева, А. В., Рыбаков, В.

Дата публикации: 2016-08

Дата публикации в реестре: 2020-03-13T23:34:17Z

Аннотация:
Ключевые слова:
unification, modal temporal logic, passive inference rules, 27.03.19

Тип: Journal Article

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core