| Полное название | Золотов А.С. Применение оператора транзитивного замыкания для формул с одной функцией следования и предиктами делимости // Вестник Тверского государственного университета. Серия: Прикладная математика. 2013. №1. С.101-117. |
| Тип публикации | Статья |
| Язык | Русский |
| URL | http://elibrary.ru/item.asp?id=21012509 |
| Дата публикации | 01.01.1900 |
| РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
| С участием зарубежных ученых |
