Chang, Chin-Liang
Symbolic logic and mechanical theorem proving
- San Diego: Academic Press, 1973
- xiii, 331 p.; ill.: 24 cm.
- Computer science and applied mathematics .
0121703509 (hbk)
Logic, Symbolic and mathematical
Artificial intelligence
Automatic theorem proving
Symbolic logic
511.3 / CHA