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