Conference
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
Publications
Conference
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them
Conference
袪邪褋锌褉械写械谢械薪懈械 褍褔械斜薪芯泄 薪邪谐褉褍蟹泻懈 泻邪褎械写褉褘 褋 懈褋锌芯谢褜蟹芯胁邪薪懈械屑 屑械褌芯写芯胁 薪械褔械褌泻芯泄 谢芯谐懈泻懈
Conference
諉榨盏謤崭斩铡盏斋斩 謥铡斩謥榨謤斋 湛崭蘸崭宅崭眨斋铡盏斋 謪蘸湛斋沾铡宅铡謥崭謧沾 眨榨斩榨湛斋寨 铡宅眨崭謤斋诈沾斋 沾斋栈崭謥崭站
Conference
袪袗小袩袪袨小孝袪袗袧袝袧袠袝 校袩袪校袚袨-小袩袠袧袨袙蝎啸 袙袨袥袧 袙 小袨小孝袗袙袧袨袡 肖袝袪袪袨袦袗袚袧袠孝袧袨袡 小孝袪校袣孝校袪袝 小 袩袨袥校袘袝小袣袨袧袝效袧袨袡 孝袪袝些袠袧袨袡
Conference
Decomposing graphs into interval colorable subgraphs and no-wait multi-stage schedules
Conference
On non-monotonous properties of some propositional proof systems
Conference
Comparison of two propositional proof systems by lines and by sizes
Conference
袚械薪械褌懈褔械褋泻懈泄 邪谢谐芯褉懈褌屑 写谢褟 锌芯褋褌褉芯械薪懈褟 褎褎械泻褌懈胁薪褘褏 褋褑械薪邪褉懈械胁 芯斜褍褔械薪懈褟 胁 褋懈褋褌械屑邪褏 褝谢械泻褌褉芯薪薪芯谐芯 芯斜褍褔械薪懈褟
Conference
袠褋锌芯谢褜蟹芯胁邪薪懈械 屑械褌芯写芯胁 Data Mining 写谢褟 锌芯褋褌褉芯械薪懈褟 薪械褔械褌泻懈褏 褝泻褋锌械褉褌薪褘褏 褋懈褋褌械屑
Conference
袙谢芯卸械薪懈褟 褋褔械褌薪褘褏 谐褉褍锌锌, 蟹邪写邪胁邪械屑褘械 褍薪懈胁械褉褋邪谢褜薪褘屑懈 褋谢芯胁邪屑懈 胁 褋胁芯斜芯写薪芯泄 谐褉褍锌锌械
Conference
曰斩謫崭謤沾铡湛斋寨铡 謬 寨斋謤铡占铡寨铡斩 沾铡诈榨沾铡湛斋寨铡 "曰钥談 50"
Conference
Constructive embeddings of recursively presented groups using H-machines
Patent
Error Determination from Logs
Ematerial
談铡诈榨沾铡湛斋寨铡寨铡斩 謫斋咋斋寨铡盏斋 瞻铡站铡战铡謤崭謧沾斩榨謤
Ematerial
曰諉怨缘约 x86 员諐缘談圆约缘諓 (斋謤铡寨铡斩 占榨摘斋沾)
Ematerial
諃员諊諑员諓钥缘约曰請諕怨諈员諉 圆员諓源請諕怨諈员諉 諒缘諐請諕怨諈员諉 諃曰談諉员源諓請諕諈怨諉缘諓
Conference
Mathematical model of a non-classical problem of bending a beam of variable thickness with an additional condition
Conference
On continuous selections of set-valued mappings in optimization problems
Conference
Varieties generated by p-groups and Kp-series