Title: Machine vision for the manufacturing environment
First published: 1976
Subjects: Adaptive control systems, Artificial intelligence, Manufacturing processes, Automatic theorem proving