RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Котикова Екатерина Александровна
Публикации в базе данных Math-Net.Ru
Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами
Вестник ТвГУ. Серия: Прикладная математика
, 2016, № 4,
5–19
©
МИАН
, 2024