Automated Reasoning and Its Applications.
Cambridge, MA: The M.I.T. Press, 1997. 8vo. 247 pp. Crisp and clean copy. Essays in honor of Larry Wos. "The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions." Fine in Fine dj Cloth 0262220555 (Item ID: 57565)