λ-исчисление, его синтаксис и семантика :

Кюрегян, Арменуи Степановна

λ-исчисление, его синтаксис и семантика : Автореф. ... канд. техн. наук по спец. 05.13.16-Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях / ИПИиА АНА, ЕрГУ. - Ереван, 1992. - 11 с.

ИПИА АНА и ЕГУ Науч. рук.: к.ф.м.н. Г.Б. Маранджян


Вычислительная техника


Thesis

Ուղեկցվում է Կոհա