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