Symposium on Automatic Demonstration, Versailles, 1968 Laudet, M.,

• Symposium on Automatic Demonstration;