Методы и средства программирования в ограничениях для систем автоматизации проектирования : автореферат диссертации ... кандидата физико-математических наук
База данных:Каталог библиотеки СФУ (05.13.11 С 347)
Библиографическое описание:Сидоров, Владимир Анатольевич. Методы и средства программирования в ограничениях для систем автоматизации проектирования : автореферат диссертации ... кандидата физико-математических наук / В. А. Сидоров ; Российская академия наук [РАН]. Сибирское отделение [СО]. Институт систем информатики. - Новосибирск, 2007. - 18 с. - Текст : непосредственный.