Symposium on automatic demonstration - Laudet M (Berlin Springer Verlag, 1970)
Keywords: Computer science