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