- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Сложность пропозициональных логик с конечным числом переменных
Тип роботи:
Дис. канд. физ.-мат. наук
Рік:
2005
Артикул:
2004 179 грн
Рекомендовані дисертації
- Об арифметических свойствах значений некоторых аналитических функций
- Структура и тождества некоторых алгебр лиевского типа
- Строение изотропных редуктивных групп
- Оценка алгоритмической сложности классов вычислимых моделей
- Аффинные части алгебраических теорий и аффинные категории
- Некоторые свойства делителей нуля ассоциативных колец
- Автоморфизмы метабелевых произведений групп
- Полиномиальные алгоритмы распознавания изоморфизма в некоторых классах графов
- О некоторых разложениях в неархимедовских нормированных кольцах и полях
- Картеровы подгруппы конечных групп