Методы и средства программирования в ограничениях для систем автоматизации проектирования
Сидоров Владимир Анатольевич. Методы и средства программирования в ограничениях для систем автоматизации проектирования : диссертация ... кандидата физико-математических наук : 05.13.11 / Сидоров Владимир Анатольевич; [Место защиты: Ин-т систем информатики им. А.П. Ершова СО РАН].- Новосибирск, 2007.- 152 с.: ил. РГБ ОД, 61 07-1/1736
