Proceeding on automatic demonstration - Laudet M Ed.; International conference on automatic demonstration (1968 : France); Lacomde D Ed.; Nolin L Ed. (Berlin Springer Verlag, 1970)
Keywords: Computer science