Article
On execution of functional programs.
1999
33-35
Publications
Article
袨 褉邪胁薪芯屑械褉薪芯泄 泻胁邪蟹懈邪褋懈屑锌褌芯褌懈泻械 褉械褕械薪懈泄 谐懈锌械褉斜芯谢懈褔械褋泻懈褏 褍褉邪胁薪械薪懈泄
1990
684-703
Conference
Educational Process Management System
Conference
Building and Execution of Queries for Educational Process Management System
Conference
袧械泄褉芯褋械褌械胁褘械 褌械褏薪芯谢芯谐懈懈 胁 蟹邪写邪褔邪褏 锌褉芯谐薪芯蟹懈褉芯胁邪薪懈褟
Conference
袧械泄褉芯褋械褌械胁芯械 锌褉芯谐薪芯蟹懈褉芯胁邪薪懈械 胁褉械屑械薪薪褘褏 褉褟写芯胁
Conference
袩褉懈屑械薪械薪懈械 褋芯胁褉械屑械薪薪褘褏 懈薪褎芯褉屑邪褑懈芯薪薪褘褏 褌械褏薪芯谢芯谐懈泄 胁 蟹邪写邪褔邪褏 斜懈芯屑械褌褉懈褔械褋泻芯泄 懈写械薪褌懈褎懈泻邪褑懈懈 锌芯 褉邪写褍卸薪芯泄 芯斜芯谢芯褔泻械 谐谢邪蟹邪
Conference
INFLUENCE OF ABSORPTION ON THE X-RAY DIFFRACTION BY THE TRAPEZIFORM MODEL OF SUPERLATTICE WITH A STACKING FAULT
Conference
Integrated intensity of x-ray reflection from a superlattice with a stacking fault
Conference
On some universal system for various propositional logics
Conference
Some notes about lower bounds for steps and sizes of proofs in Frege systems
Conference
Improvement of lower bounds for steps and sizes of proofs in Frege systems
Conference
Interval edge colorings of Hamming graphs
Conference
On Interval Edge-Colorings of Bipartite Graphs
Conference
On Interval Cyclic Colorings of Bipartite Graphs
Conference
The proof complexities relations for strongly equal classical tautologies in Frege systems
Conference
Some new proof systems for a version of many-valued logics and proof complexities in it
Conference
On lower bounds for steps and sizes of proofs in Frege systems
Conference
On the Length of the Minimal Testor for Some Class of Binary Tables
Conference
On the Number of Solutions of Systems of Equations with not everywhere defined Boolean Functions