BRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM

Рыбаков, Владимир Владимирович

View/Open:

p1158-1170.pdf (180.0 Kb)

URI (for links/citations):

http://semr.math.nsc.ru/v16/p1158-1170.pdf
https://elib.sfu-kras.ru/handle/2311/128505

Author:

Рыбаков, Владимир Владимирович

Corporate Contributor:

Институт математики и фундаментальной информатики

Кафедра алгебры и математической логики

Date:

2019

Journal Name:

Siberian Electronic Mathematical Reports

Journal Quartile in Scopus:

Journal Quartile in Web of Science:

без квартиля

Bibliographic Citation:

Рыбаков, Владимир Владимирович. BRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM [Текст] / Владимир Владимирович Рыбаков // Siberian Electronic Mathematical Reports. — 2019. — Т. 16.

Текст статьи не публикуется в открытом доступе в соответствии с политикой журнала.

Collections:

Статьи в научных журналах (эффективный контракт) [5211]

Metadata:

Show full item record