Symbolic logic and mechanical theorem proving
By: Chin-Liang Chang, Richard Char-Tung Lee.
Contributors: Lee, Richard Char-Tung, 1939-
Series: Computer science classics
Publisher: Academic Press
Published: 1987
Place of publication: San Diego
Language: eng
Number of pages: 331
Subjects: Logic, Symbolic and mathematical.; Automatic theorem proving.; Artificial intelligence.
Notes: Includes bibliographical references (p. 309-324) and index.