Show simple item record

Рыбаков, Владимир Владимирович
2020-01-20T07:12:38Z
2020-01-20T07:12:38Z
2019
Рыбаков, Владимир Владимирович. BRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM [Текст] / Владимир Владимирович Рыбаков // Siberian Electronic Mathematical Reports. — 2019. — Т. 16.
18133304
http://semr.math.nsc.ru/v16/p1158-1170.pdf
http://elib.sfu-kras.ru/handle/2311/128505
Текст статьи не публикуется в открытом доступе в соответствии с политикой журнала.
BRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM
Journal Article
Published Journal Article
27.03
2020-01-20T07:12:37Z
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Siberian Electronic Mathematical Reports
Q2
без квартиля


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record