Приклад приведення двох термів з одномісними функціональними символами у середовищі лямбда-алгебри. Генетичний алгоритм із використанням спеціальних метрик як альтернативний спосіб ефективного знаходження уніфікатора. Проблематика задачі уніфікації.
При низкой оригинальности работы "Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціональними символами", Вы можете повысить уникальность этой работы до 80-100%