Automated reasoning - Wos, Larry (Englewood Cliffs, NJ Prentice-Hall, 1984)
Keywords: Artificial intelligence; Automated theorem proving; Electronic digital computers -- Programming