Investigation of some quantitative and structural properties of different logical proof systems

2021

Confirmed
Ընդդիմախոս Պ.Ավետիսյանի կարծիքը
Պ.Ավետիսյան (194.05 KB)
Ընդդիմախոս Լ.Պողոսյանի կարծիքը
Լ.Պողոսյան (158.57 KB)
Առաջատար կազմակերպության կարծիքը
Հայ-Ռուսական համալսարան (207.21 KB)
Ատենախոսության սեղմագիրը
Գ.Պետրոսյան (426.77 KB)