BRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM
Скачать файл:
URI (для ссылок/цитирований):
http://semr.math.nsc.ru/v16/p1158-1170.pdfhttps://elib.sfu-kras.ru/handle/2311/128505
Автор:
Рыбаков, Владимир Владимирович
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Дата:
2019Журнал:
Siberian Electronic Mathematical ReportsКвартиль журнала в Scopus:
Q2Квартиль журнала в Web of Science:
без квартиляБиблиографическое описание:
Рыбаков, Владимир Владимирович. BRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM [Текст] / Владимир Владимирович Рыбаков // Siberian Electronic Mathematical Reports. — 2019. — Т. 16.Текст статьи не публикуется в открытом доступе в соответствии с политикой журнала.