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