Formal systems of non-classical logic and automated theorem proving using machine learning methods

2022

Confirmed

2021

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