- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Интерполяция и определимость в логиках конечных областей
Тип работы:
Кандидатская
Год:
1998
Артикул:
1000207062 179 грн
Рекомендуемые диссертации
- Разрешимость теорий первого порядка матричных алгебр и групп преобразований
- Проблемы вхождения и сопряденности слов и продгрупп в некоторых классах групп
- Алгоритмические приложения эллиптических кривых, задаваемых системами уравнений
- О распределении значений L-рядов Дирихле
- Наборы конечных объектов с заданными информационными соотношениями между ними
- Полные, редуцированные и примарные конечные полугруппы
- Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов
- Группы автоморфизмов ассоциативных схем
- Применение спектральной теории автоморфных функций к некоторым задачам аналитической теории чисел
- Прямые разложения артиновых модулей