- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Субрекурсивная реализуемость и логика предикатов
Тип роботи:
Кандидатская
Рік:
2003
Артикул:
322607 179 грн
Рекомендовані дисертації
- Аппроксимируемость свободного произведения групп с одной объединенной подгруппой некоторыми классами конечных групп
- Алгоритмы компьютерной алгебры в теории групп, кодировании и кристаллографии
- Многообразия разрешимых решеточно упорядоченных групп
- Унары с тернарной мальцевской операцией
- Структурные и теоретико-модельные аспекты теории решеточно упорядоченных групп
- О колмогоровской сложности конечных подпоследовательностей в последовательности нулей и единиц
- Некоторые аспекты теории ориентированных (ко)гомологий
- Атомы решетки универсально аксиоматизируемых классов полугрупп
- Решение некоторых задач теории алгоритмов с использованием игровых методов
- О некоторых арифметических задачах, связанных с героновыми треугольниками