- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов
Тип работы:
диссертация кандидата физико-математических наук
Год:
2006
Количество страниц:
80
Артикул:
1938 179 грн
Рекомендуемые диссертации
- Структурные свойства контекстно-свободных грамматик
- Алгебраическая теория квазимногообразий коммутативных луп Муфанг
- Демазюровские модули и многообразия Шуберта для аффинной алгебры Каца-Муди
- Геометрическая эквивалентность групп
- Корневые элементы в исключительных группах
- Частичные порядки групп
- Порождающие мультиплеты и структурные вопросы групп лиева типа
- Теоретико-модельные и алгебро-геометрические задачи для нильпотентных частично коммутативных групп
- Действия подторов и инвариантные схемы Гильберта
- Обобщенно равномерные произведения групп