-
RecordNumber
8463
-
Title
Automated reasoning; introducations and applications
-
Author Statement
Larry Wos...(et.al.)
-
Publication
Prentice-Hall , Prentice-Hall
-
Publication Year
1984
-
Collation
Xiv,482p., tables
-
Notes
Biliography: P.471-475
-
Subject
Electtronic digital computers -- Programming , Artificial intelligence , Automatic theorem proving
-
ADDED ENTRIES
Wos, larry
-
LC Class
QA
-
LC Number
76.9
-
LC CutterNumber
.A96A93
-
LC Date
1984
-
Link To Document :
