Показать сокращенную информацию
BRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM
| Автор | Рыбаков, Владимир Владимирович | |
| Дата внесения | 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. | |
| ISSN | 18133304 | |
| URI (для ссылок/цитирований) | http://semr.math.nsc.ru/v16/p1158-1170.pdf | |
| URI (для ссылок/цитирований) | https://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 | |
| Квартиль журнала в Scopus | Q2 | |
| Квартиль журнала в Web of Science | без квартиля |
