Symbolic logic and mechanical theorem proving - Chang, Chin-Liang, 1937-; Lee, Richard Char-Tung, 1939-. (New York Academic Press, 1973)
Keywords: Artificial intelligence; Automatic theorem proving; Logic, Symbolic and mathematical