| Author | Рыбаков, Владимир Владимирович | |
| Accessioned Date | 2020-01-20T07:12:38Z | |
| Available Date | 2020-01-20T07:12:38Z | |
| Issued Date | 2019 | |
| Bibliographic Citation | Рыбаков, Владимир Владимирович. BRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM [Текст] / Владимир Владимирович Рыбаков // Siberian Electronic Mathematical Reports. — 2019. — Т. 16. | |
| ISSN | 18133304 | |
| URI (for links/citations) | http://semr.math.nsc.ru/v16/p1158-1170.pdf | |
| URI (for links/citations) | http://elib.sfu-kras.ru/handle/2311/128505 | |
| Description | Текст статьи не публикуется в открытом доступе в соответствии с политикой журнала. | |
| Title | BRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM | |
| Type | Journal Article | |
| Type | Published Journal Article | |
| GRNTI | 27.03 | |
| Update Date | 2020-01-20T07:12:37Z | |
| Institute | Институт математики и фундаментальной информатики | |
| Department | Кафедра алгебры и математической логики | |
| Journal Name | Siberian Electronic Mathematical Reports | |
| Journal Quartile in Scopus | Q2 | |
| Journal Quartile in Web of Science | без квартиля | |
