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 Feb 18 08:08:41 2019 AMT. |