- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Алгоритмическая сложность фрагментов исчисления Ламбека
Тип роботи:
Кандидатская
Рік:
2009
Артикул:
322254 179 грн
Рекомендовані дисертації
- К теории сечений в упорядоченных полях
- Определимость в наследственно конечных допустимых множествах
- Минимальные покрытия тьюринговых степеней
- Проблемы распознавания разрешимости уравнений в нильпотентных группах
- Алгебраическая теория пар Белого
- Почти изоморфные абелевы группы и аналог теоремы Кантора-Шредера-Бернштейна
- Меры и нормальные формы для фундаментальной группы конечного графа групп
- Графы Тервиллигера в теории дистанционно регулярных графов
- Индуцированные порядки в булевых решетках и фактор-отношениях универсального отношения
- Факторизационные теоремы и размерность подмножеств пределов обратных спектров и топологических произведений