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