Репозиторий Тверского госуниверситета
Главная
English
Об архиве
Смотреть по УДК
Смотреть по организациям
Смотреть по журналам
Диссертации
Войти
Ресурсы из категории "510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях"
[pin missing: url]
[pin missing: url]
Экспорт в
ASCII Citation
BibTeX
Dublin Core
EndNote
HTML Citation
METS
Object IDs
OpenURL ContextObject
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
УДК
(12827)
5 Математика. Естественные науки
(2631)
51 Математика
(503)
510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п.
(64)
510.6 Математическая логика
(51)
510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях
(5)
510.665 Проблемы разрешения
(5)
Количество объектов на этом уровне:
0
.
Этот список был создан
Tue Nov 12 17:54:47 2024 MSK
.