TY  - BOOK
AU  - Новиков,Денис Викторович
TI  - Использование ламбда-исчисления при моделировании и синтезе структур специализированных программных систем САПР: Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.16, 05.13.12
PY  - 1994///
CY  - М.
KW  - авторефераты диссертаций
KW  - математическое моделирование
KW  - автоматизированное проектирование
KW  - машинная графика
KW  - ламбда-исчисление
N1  - Библиогр.: с. 28
ER  -