Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами
статья
Статья опубликована в журнале из перечня ВАК
Дата последнего поиска статьи во внешних источниках: 24 февраля 2021 г.
Авторы:
Котикова Е.А.
,
Рыбаков М.Н.
Журнал:
Вестник Тверского государственного университета. Серия: Прикладная математика
Номер:
4
Год издания:
2016
Издательство:
Твер. гос. ун-т
Местоположение издательства:
Тверь
Первая страница:
5
Последняя страница:
19
DOI:
10.26456/vtpmk25
Добавил в систему:
Рыбаков Михаил Николаевич