Дюбко ГФ, Дзёх МЮ, Преснякова ДВ. SOME ASPECTS OF FORMALIZATION OF THE DEFINITION DICTIONARY WITH APPLICATION λ-CALCULATION. EEJET [Internet]. 2010Jul.30 [cited 2024Jul.17];4(2(46):4-8. Available from: https://journals.uran.ua/eejet/article/view/2919