Исследование сложностей выводов в ряде известных и вновь построенных системах исчисления высказываний

Соискатель
Научный руководитель/Консультант
Искомая ученая степень
Кандидат наук
Специальность
Математическая кибернетика и математическая логика
Ա.01.09
Ведущая организация
Дата защиты
Завершено

2024

Подтверждено
Ընդդիմախոս Հ.Բոլիբեկյանի կարծիքը
Հ.Բոլիբեկյան (190.85 KB)
Առաջատար կազմակերպության կարծիքը
Հայ-Ռուսական համալսարան (213.35 KB)
Ընդդիմախոս Է.Պողոսյանի կարծիքը
Է.Պողոսյան (126.92 KB)
Ատենախոսության սեղմագիրը
Հ.Թամազյան (883.57 KB)