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

2021
Ատենախոսության սեղմագիրը
Ա.Բաղդասարյան (443.68 KB)