- Գլխավոր
- Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
Main Navigation (Arm)
- Ընդունելութուն
- Կրթություն
- Գիտություն
- Նորություններ և իրադարձություններ
- ԵՊՀ ԻՄ-ի մասին
-
Շրջանավարտներ և կարիերա
- Կարիերա
- Շրջանավարտներ
- Գիտություն և կրթություն, և այլն