| Полное название | Котикова Е.А., Рыбаков М.Н. Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами // Вестник Тверского государственного университета. Серия: Прикладная математика. 2016. №4. С.5-19. |
| Тип публикации | Статья |
| Язык | Русский |
| URL | https://elibrary.ru/item.asp?id=27670334 |
| Дата публикации | 01.01.1900 |
| РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
| С участием зарубежных ученых |
