Normal view
MARC view
Использование ламбда-исчисления при моделировании и синтезе структур специализированных программных систем САПР Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.16, 05.13.12 Рос. АН, Ин-т проблем управления(автомат. и телемех. ); Науч. рук. Е. И. Артамонов
Material type: TextPublication details: М. 1994Description: 28 с. илSubject(s): авторефераты диссертаций | математическое моделирование | автоматизированное проектирование | машинная графика | ламбда-исчислениеOther classification: 27.47.19Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-761937к 51 (Browse shelf(Opens below)) | 1 | Available | 13820000146602 |
Библиогр.: с. 28
There are no comments on this title.
Log in to your account to post a comment.