Browse by Person
Number of items: 1. Chubaryan, Armine A. and Tchitoyan, A. S. (2013) Some Generalization of Proof System “Resolution over Linear Equations”. ՀՀ ԳԱԱ Զեկույցներ, 113 (1). pp. 7-12. ISSN 0321-1339 This list was generated on Mon Mar 1 08:14:55 2021 AMT. |