- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Оценки высоты термов в наиболее общем унификаторе
Тип роботи:
Кандидатская
Рік:
1998
Артикул:
1000212792 179 грн
Рекомендовані дисертації
- Группы, насыщенные конечными неабелевыми группами и их расширениями
- Линейные системы на алгебраических многообразиях
- О представлении конечных колец с единицей
- О распределении значений сумм арифметических функций
- ?-дифференцирования простых йордановых и лиевых супералгебр
- Сложность в среднем случае вероятностных вычислений с ограниченной ошибкой
- Проблема делителей Ингама на множестве чисел без k-ых степеней
- Первичный радикал алгебр Ли, удовлетворяющих дополнительным условиям
- Об алгебраических циклах на поверхностях и абелевых многообразиях
- Группы с условиями насыщенности