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