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

Соискатель
Научный руководитель/Консультант
Искомая ученая степень
Кандидат наук
Специальность
Математическая кибернетика и математическая логика
Ա.01.09
Дата защиты
Статус
В процессе
Завершено
2021
Ատենախոսության սեղմագիրը
Ա.Բաղդասարյան (443.68 KB)