-
RecordNumber
2835
-
Author
Chang, Chin-Liang
-
Title
Symbolic logic and mechanical theorem proving
-
Author Statement
Chin-Liang Chang [and] Richard Char-Tung Lee
-
Publication
Academic Press
-
Publication Year
1987, C. 1973
-
Collation
xiii, 331P., diagr., tables
-
Series
Computer science classics
-
Notes
0121703509 , Bibliography: P. 309-324
-
Subject
Artificial intelligence , Automatic theorem proving , Logic,Symbolic and mathematical
-
ADDED ENTRIES
Lee, Richard Char-Tung ,
-
LC Class
QA
-
LC Number
9
-
LC CutterNumber
.C483
-
Link To Document :
