- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов
Тип роботи:
диссертация кандидата физико-математических наук
Рік:
2006
Кількість сторінок:
80
Артикул:
1938 179 грн
Рекомендовані дисертації
- Асимптотика ограниченных алгебр Ли
- Схемы рефлексии в формальной арифметике
- Явная формула для символа Гильберта в многомерных полных дискретно нормированных полях
- Индикаторные характеризации некоторых свойств многообразий ассоциативных колен
- Вероятностные методы в теории чисел и приложения в теории аргумента дзета-функции Римана
- Арифметические свойства значений гипергеометрических функций
- Дзета-функции алгебраических поверхностей и якобианы кривых рода 3 над конечными полями
- Статистические и экстремальные свойства цепных дробей
- Примитивные параболические подстановочные представления конечных исключительных групп лиевского типа
- Полугруппы, являющиеся Ο-объединением полугрупп Брандта