Исследование применимости исчислений λ-конверсии к задаче представления знаний фреймамидипломная работа (Специалист)