Vol. 125. Laudet, M.; Lacombe, D. (Eds.) 
Symposium on Automatic Demonstration: Held at Versailles / France, December 1968 
QA76.9T4 S95