عنوان
پدید آورنده
موضوع
رده
QA .C483 9 1987
QA
.
C483
9
1987
کتابخانه
محل استقرار
Symbolic logic and mechanical theorem proving
Chin-Liang Chang, Richard Char-Tung Lee
Boston
Academic Press
1973
xiii, 331 p. ill
Computer science classics
Includes index
Bibliography: p.)309(-324
Logic, Symbolic and mathematical
Automatic theorem proving
Artificial intelligence
QA
9
.
C483
1987
Chang, Chin-Liang, 1937-
Title
Lee, Richard Char-Tung
1939- ,Joint author
English Book
