Фильтр результатов Тип элемента Выбрать всё/ничего Коллекция Страница Событие Файл Папка Изображение Language Independent Folder Language Root Folder Ссылка Новость Новые элементы с Вчера Последняя неделя Последний месяц Когда-либо Результаты поиска Subscribe to an always-updated RSS feed. Элементов, соответствующих Вашему критерию: 2 Сортировать по relevance дата (сначало новые) в алфавитном порядке PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS Bashmakov, SI; Kosheleva, AV; Rybakov, V SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 13 923-929; ... Расположен в Публикации / 2017 NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS Bashmakov, S. I.; Kosheleva, A. V.; Rybakov, V. SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 13 656-663; Doi: ... Расположен в Публикации / 2017