Conference
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
2023
32-34
Publications
Conference
An Upper Bound on the Edge-Chromatic Sum of Fibonacci Cubes
2023
137-138
Conference
On Interval Coloring Thickness of Some Classes of Bipartite Graphs
2023
141-143
Conference
A mathematical model for the optimization problem of bending a variable-thickness orthotropic beam
2023
88-89
Conference
校小孝袨袡效袠袙袨小孝鞋 袣袨袦袩袨袟袠笑袠袨袧袧袨袡 笑袠袥袠袧袛袪袠效袝小袣袨袡 袨袘袨袥袨效袣袠 袙 小袙袝袪啸袟袙校袣袨袙袨袦 袩袨孝袨袣袝 袚袗袟袗
2023
302-304
Conference
Strong Edge-Coloring of Hamming Graphs
2023
131-132
Conference
Vertex-Distinguishing Edge Coloring of Fibonacci Cubes
2023
144-146
Conference
On continuous and Lipschitz selections of multivalued mappings
2023
54 - 55
Conference
小袛袙袠袚袨袙蝎袝 袣袨袥袝袘袗袧袠携 楔孝袗袦袩袨袙 袧袗 袣袪袗携啸 袩鞋袝袟袨协袥袝袣孝袪袠效袝小袣袨袚袨 小袥袨携
2023
12-16
Conference
Strong Edge-Colorings of Powers of Paths and Cycles
2023
35-37
Conference
ON THE ALGORITHM OF RECOGNIZING OF INTERVAL COLORABILITY OF CACTUS GRAPHS
2023
42-43
Conference
袙袝袪楔袠袧袧袨-袪袗袟袥袠效袗挟些袗携 袪衼袘袝袪袧袗携 袪袗小袣袪袗小袣袗 袣校袘袨袙 袥校袣袗小袗
2023
44-46
Textbook
談铡诈榨沾铡湛斋寨铡寨铡斩 謫斋咋斋寨铡盏斋 瞻铡站铡战铡謤崭謧沾斩榨謤: 越斩栅斋謤斩榨謤 謬 宅崭謧债崭謧沾斩榨謤:
2023
226
Textbook
談铡诈榨沾铡湛斋寨铡寨铡斩 铡斩铡宅斋咋斋 瞻斋沾崭謧斩謩斩榨謤
2023
320
Study manual
談铡诈榨沾铡湛斋寨铡寨铡斩 謫斋咋斋寨铡盏斋 瞻铡站铡战铡謤崭謧沾斩榨謤: 越斩栅斋謤斩榨謤 謬 宅崭謧债崭謧沾斩榨謤:
2023
226
Article
The Non-Classical Problem of Thermoelastic Stability of an Elastically Restrained Orthotropic Plate of Variable Thickness
2022
195-206
Article
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
2022
47-55
Article
O 褋谢芯卸薪芯褋褌褟褏 胁褘胁芯写芯胁 斜邪谢邪薪褋懈褉芯胁邪薪薪褘褏 褎芯褉屑褍谢 胁 写胁褍褏 锌褉芯锌芯蟹懈褑懈芯薪邪谢褜薪褘褏 褋懈褋褌械屑邪褏 胁褘胁芯写芯胁
2022
118-124
Article
小褉邪胁薪械薪懈械 写谢懈薪 谢懈薪械泄薪褘褏 懈 写褉械胁芯胁懈写薪褘褏 胁褘胁芯写芯胁 薪械泻芯褌芯褉褘褏 褋械屑械泄褋褌胁 褎芯褉屑褍谢 胁 褉褟写械 褋懈褋褌械屑 懈褋褔懈褋谢械薪懈褟 胁褘褋泻邪蟹褘胁邪薪懈泄
2022
125-132
Article
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
2022
58-65