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