Investigation of proof complexities in various known and newly constructed propositional calculus systems

2024

Confirmed
Ընդդիմախոս Հ.Բոլիբեկյանի կարծիքը
Հ.Բոլիբեկյան (190.85 KB)
Առաջատար կազմակերպության կարծիքը
Հայ-Ռուսական համալսարան (213.35 KB)
Ընդդիմախոս Է.Պողոսյանի կարծիքը
Է.Պողոսյան (126.92 KB)
Ատենախոսության սեղմագիրը
Հ.Թամազյան (883.57 KB)