LogoРепозиторий Тверского госуниверситета
Войти

Ресурсы подразделения "Университеты > Тверской государственный университет > Факультеты > Математический > Кафедра алгебры и математической логики" за 2003-й год

На уровень вверх
Экспорт в [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Группировка по: Авторы | Тип объекта | Нет группировки
Перейти к: Статья
Количество объектов: 1.

Статья

Чагров, А.В. (2003) Применение итерации для дедукционных теорем в нормальных модальных логиках. Вестник ТвГУ. Серия: Прикладная математика (1). С. 28-33. ISSN 1995-0136

Этот список был создан Fri Apr 26 10:12:58 2024 MSK.
EPrints Logo
Репозиторий Тверского госуниверситета работает на базе ПО EPrints 3, разработанного в Школе электроники и информатики Саутгемптонского университета. Подробнее...