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