Система работает в тестовом режиме. Предыдущая версия поиска доступна по ссылке.

Новиков, Денис Викторович - Использование ЛАМБДА-исчисления при моделировании и синтезе структур специализированных программных систем САПР : автореферат дис. ... кандидата технических наук : 05.13.16, 05.13.12

Карточка

Новиков, Денис Викторович.

Использование ЛАМБДА-исчисления при моделировании и синтезе структур специализированных программных систем САПР : автореферат дис. ... кандидата технических наук : 05.13.16, 05.13.12 / Ин-т проблем управления. - Москва, 1994. - 28 с.
Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук )
9 94-1/2876-2
9 94-1/2877-0

Marc21

Показать

Описание

Автор
ЗаглавиеИспользование ЛАМБДА-исчисления при моделировании и синтезе структур специализированных программных систем САПР : автореферат дис. ... кандидата технических наук : 05.13.16, 05.13.12
Дата поступления в ЭК 31.05.1994
Каталоги Авторефераты диссертаций
Сведения об ответственностиИн-т проблем управления
Выходные данныеМосква, 1994
Физическое описание28 с.
ТемаПрименение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук )
BBK-кодЖ2-5-05,0
Специальность05.13.12: Системы автоматизации проектирования (по отраслям)
ЯзыкРусский
Места хранения9 94-1/2876-2
9 94-1/2877-0