Article
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
2020
135-142
Publications
Article
諃諃 瞻斋謨崭诈榨謩铡盏斋斩 謫斋斩铡斩战铡站崭謤崭謧沾炸 謬 湛斩榨謤斋 眨斩榨謤炸
2020
34-40
Book
諘蘸湛斋沾斋咋铡謥斋铡盏斋 沾榨诈崭栅斩榨謤
2020
308
Article
Influence of boundary conditions on the aero-thermo-elastic stability of a closed cylindrical shell
2020
1-10
Article
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
2019
56-63
Article
袨 小袙袨袡小孝袙袗啸 袦袨袧袨孝袨袧袧袨小孝袠 袠 小孝袪袨袚袨袡 袦袨袧袨孝袨袧袧袨小孝袠 袩袪袨袩袨袟袠笑袠袨袧袗袥鞋袧蝎啸 小袠小孝袝袦 袪袝袟袨袥挟笑袠袡 袣袥袗小小袠效袝小袣袨袡 袠 袧袝袣袥袗小小袠效袝小袣袠啸 袥袨袚袠袣
2019
74-77
Article
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
2019
69-74
Article
袨 薪械锌褉械褉褘胁薪褘褏 褋械谢械泻褑懈褟褏 屑薪芯谐芯蟹薪邪褔薪褘褏 芯褌芯斜褉邪卸械薪懈泄 褋 锌芯褔褌懈 胁褘锌褍泻谢褘屑懈 蟹薪邪褔械薪懈褟屑懈
2019
60-75
Article
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
2019
39-44
Article
袠褋褋谢械写芯胁邪薪懈械 褋胁芯泄褋褌胁邪 屑芯薪芯褌芯薪薪芯褋褌懈 薪械泻芯褌芯褉褘褏 锌褉芯锌芯蟹懈褑懈芯薪邪谢褜薪褘褏 褋懈褋褌械屑 胁褘胁芯写芯胁 泻谢邪褋褋懈褔械褋泻芯泄 懈 薪械泻谢邪褋褋懈褔械褋泻懈褏 谢芯谐懈泻
2019
33-39
Article
Some results on the palette index of graphs
2019
1-20
Article
Universal system for many-valued logic, based on splitting method, and some of its properties
2019
52-55
Article
諒諓员談员圆员諉员钥员諉 諏缘猿諓缘諐曰员諉 請諓諍缘諐 談员諓諗缘怨曰諉猿曰 猿請諓跃曰諗
2019
40-49
Article
On the Proof Complexities of Strongly Equal Non-classical Tautologies
2019
105-112
Article
On the usage of lines in GCn sets
2019
1-23
Article
袨 褌芯褔泻邪褏 锌械褉械褋械褔械薪懈褟 写胁褍褏 锌谢芯褋泻懈褏 邪谢谐械斜褉邪懈褔械褋泻懈褏 泻褉懈胁褘褏.
2019
17-30
Article
On the Intersection Points of Two Plane Algebraic Curves
2019
90-97
Article
ON THE DIMENSION OF SPACES OF ALGEBRAIC CURVES PASSING THROUGH n-INDEPENDENT NODES
2019
91-100
Article
ON A LINEARIZED COVERINGS OF A CUBIC HOMOGENEOUS EQUATION OVER A FINITE FIELD. LOWER BOUNDS
2019
119鈥126
Article
袨 袙袨袟袦袨袞袧袨小孝袠 袙袧校孝袪袝袧袧袨袚袨 袪袝袟袨袧袗袧小袗 小袛袙袠袚袨袙蝎啸 效袗小孝袨孝 校袩袪校袚袨袚袨 袙袨袥袧袨袙袨袛袗, 袨袘校小袥袨袙袥袝袧袧袨袚袨 小袦袝楔袗袧袧蝎袦袠 袣袪袗袝袙蝎袦袠 校小袥袨袙袠携袦袠
2019
48-56