Ви є тут

Метод канонических формул и его применение в модальной логике

Автор: 

Захарьящев Михаил Викторович

Тип роботи: 

Докторская

Рік: 

1998

Артикул:

1000201042

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Структурная характеризация алгебраических систем с ограничением на сложность булевой алгебры формульных классов подсистем
• О классификации кубических форм
• О росте порядков заданных подмножеств централизаторов инволюций конечных простых групп
• Распознавание по спектру некоторых классов конечных простых групп
• Подгруппы гиперболических унитарных групп
• Непрерывность операций на полугруппах и их обобщениях
• Об отделимости подгрупп в некоторых классах конечных групп
• Расслоенные формации мультиоператорных Т-групп и их применения
• Алгоритмические сводимости счетных алгебраических систем
• Меры и нормальные формы для фундаментальной группы конечного графа групп