- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов
Тип роботи:
диссертация кандидата физико-математических наук
Рік:
2006
Кількість сторінок:
80
Артикул:
1938 179 грн
Рекомендовані дисертації
- Комбинаторные свойства числовых множеств большой плотности и их приложения
- Критические Z-веерные и Z-расслоенные формации конечных групп
- О комбинаторных свойствах бернсайдовых полугрупп
- Некоторые вопросы насыщенности и распознаваемости в периодических группах
- Теоретико-модельные свойства группоидов с условиями абелевости и нормальности
- Группы Шункова, насыщенные прямыми произведениями различных групп
- Оценка алгоритмической сложности классов вычислимых моделей
- О φ-структуре на ортогональных группах чётной характеристики и группах E6,7,8(q), 2E6(q)
- Свободные абелевы расширения S_p-перестановочных алгебр
- О росте порядков заданных подмножеств централизаторов инволюций конечных простых групп