Search Results       Your search for [author]Chang, Chin-Liang, 1937- returned 1 record.           Symbolic logic and mechanical theorem proving. by Chang, Chin-Liang, 1937-; New York: Academic Press, 1973. Subject: Artificial intelligence; Automatic theorem proving; Logic, Symbolic and mathematical.          Add to Book Cart Relevance: 30.00%