A theory of quantitative inference for artifact sets, applied to a mechanical design compiler

Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1989.