Author :
Chang, Chin-Liang, 1937-
Title :
Symbolic logic and mechanical theorem proving
Author Statement :
[by] Chin-liang Chang [and] Richard Char-Tung Lee
Publication :
Academic Press
Publication Year :
[1973]
Collation :
xiii, 331 p., illus., 24 cm
Series :
Computer science and applied mathematics
Subject :
Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence
ADDED ENTRIES :
Lee, Richard Char-Tung, 1939- joint author
Biblography :
Bibliography: p. 309-324.
