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