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