Поиск :
Личный кабинет :
Электронный каталог: Дудаков, С. М. - Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных ...
Дудаков, С. М. - Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных ...
Статья
Автор: Дудаков, С. М.
Известия Российской Академии наук Сер. Математическая: Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных ...
б.г.
ISBN отсутствует
Автор: Дудаков, С. М.
Известия Российской Академии наук Сер. Математическая: Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных ...
б.г.
ISBN отсутствует
На полку
Статья
Дудаков, С. М.
Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных операций / С. М. Дудаков // Известия Российской Академии наук Сер. Математическая. – 2025. – Т.89, N.2. – С. 3-24.
Труды сотрудников НИУ ВШЭ : Дудаков С. М.
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Дудаков, С. М.
Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных операций / С. М. Дудаков // Известия Российской Академии наук Сер. Математическая. – 2025. – Т.89, N.2. – С. 3-24.
Труды сотрудников НИУ ВШЭ : Дудаков С. М.
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Привязано к:
Экз. чит. зала
Выпуск
Известия Российской Академии наук Сер. Математическая Т.89, N.2
2025 г.
ISBN отсутствует
Покровский б-р, чит. зал : Pokrovsky blvd., Reading hall
Известия Российской Академии наук Сер. Математическая Т.89, N.2
2025 г.
ISBN отсутствует
Покровский б-р, чит. зал : Pokrovsky blvd., Reading hall