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