SLICES: At the Boundary between Analysis and Synthesis." HIT AI Lab Hemo 433 (1977)

by Gerald Jay ussman
Venue:Also in IFIP W.G..$.2. Working Conference on Artificial Intelligence and Pattern Recognition in Computer-Aided Design