ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
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 May 1 06:16:29 2017 AMT.