Symbolic logic and mechanical theorem proving
By: [by] Chin-liang Chang [and] Richard Char-Tung Lee.
Contributors: Lee, Richard Char-Tung, 1939- joint author.
Series: Computer science and applied mathematics
Publisher: Academic Press
Published: 1973
Place of publication: New York
Language: eng
Number of pages: 331
Subjects: Logic, Symbolic and mathematical.; Automatic theorem proving.; Artificial intelligence.
Notes: Bibliography: p. 309-324.