- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Интерполяция и определимость в логиках конечных областей
Тип роботи:
Кандидатская
Рік:
1998
Артикул:
1000207062 179 грн
Рекомендовані дисертації
- Абелевы группы без кручения малых псевдо-рациональных рангов
- Вычислимость и разрешимость в классе булевых алгебр
- Модальные логики топологических пространств
- Об оценках плотности нетривиальных нулей дзета-функции Римана
- Структурно-геометрические свойства бесконечномерных групп ЛИ в применении к уравнениям математической физики
- Некоторые вопросы теории групп Шевалле над полями и конечными кольцами
- Разработка и исследование автоматических систем размерной настройки металлорежущих станков с ЧПУ с использованием датчиков обратной связи. Приложения 2 -9
- Выразительная сила языков первого порядка для конечных алгебраических систем над бесконечными универсумами
- Градуированные кольца и модули
- Изоморфизм подгрупп абелевых групп