Skip to main content
Ijevan Branch of YSU
Main Navigation (Eng)
News and events
Science and Education, etc
Science and education at YSU, etc
Main Navigation (Eng)
News and events
Science and Education, etc
Science and education at YSU, etc
Main
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
Article
10506
Chubaryan A.A.
Tamazyan H.A.
Tshitoyan A.S.
Sciences of Europe
Vol 1, # 37
39-44
2019
©2024 All rights reserved.