Формальные системы неклассических логик и автоматическое доказательство теорем с использованием методов машинного обучения

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

2022

Подтверждено

2021

Ընդդիմախոս Է.Պողոսյանի կարծիքը
Է.Պողոսյան (128.95 KB)
Ընդդիմախոս Ս.Սայադյանի կարծիքը
Ս.Սայադյան (109.83 KB)
Ատենախոսության սեղմագիրը
Ա.Բաղդասարյան (443.68 KB)