Расширенный поиск
Найдена 1 запись.
№ | Автор | Заглавие | Данные | Действия |
---|---|---|---|---|
1. | Быков, Сергей Анатольевич | Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов : автореферат дис. ... кандидата технических наук : 05.13.11 / Быков Сергей Анатольевич; [Место защиты: Моск. гос. технол. ун-т] Количество страниц: 23 с. 9 17-5/1947 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |