ՀՀ ԳԱԱ Զեկույցներ =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, A. A. and Tamazyan, H. A. (2019) On Lower Bounds for Proofs Sizes in Frege Systems. ՀՀ ԳԱԱ Զեկույցներ, 119 (2). pp. 116-121. ISSN 0321-1339

This list was generated on Wed Sep 18 19:56:05 2019 AMT.