Symbolic logic and mechanical theorem proving
[by] Chin-liang Chang [and] Richard Char-Tung Lee.
- New York, Academic Press [1973]
- xiii, 331 p. illus. 24 cm.
- Computer science and applied mathematics .
- Computer science and applied mathematics. .
Bibliography: p. 309-324.
Logique symbolique et mathématique. Intelligence artificielle. Théorèmes--démonstration automatique. Logic, Symbolic and mathematical. Automatic theorem proving. Artificial intelligence.