- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Оценки высоты термов в наиболее общем унификаторе
Тип роботи:
Кандидатская
Рік:
1998
Артикул:
1000212792 179 грн
Рекомендовані дисертації
- Итеративные алгебры, близкие к транзитивным
- Отношение аннулирования между элементами полугрупп
- Теоретико-модельные свойства обогащенных булевых алгебр и алгебр Ершова
- Центры полугрупповых колец над полугруппами IS_n и IO_n диссертация ... кандидата физико-математических наук : 01.01.06
- Решение алгоритмических проблем в группах Кокстера
- Комбинаторная структура группы вибрациональных преобразований плоскости
- Распределение простых чисел в арифметической прогрессии, разность которой является степенью фиксированного простого числа
- Абсолютный радикал Джекобсона и абсолютный ниль-радикал абелевой группы
- Канонические формации и классы фиттинга конечных групп
- Действия подторов и инвариантные схемы Гильберта