عنوان
پدید آورنده
موضوع
رده
QA،76.9،.A96,W67،1988
QA
،
76
.
9
،.
A96
,
W67
،
1988
کتابخانه
محل استقرار
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated reasoning: 33 Base research problems
First Statement of Responsibility
Larry Wos
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Englewood cliffs
Name of Publisher, Distributor, etc.
Prentice- Hall
Date of Publication, Distribution, etc.
1988
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 319 p
GENERAL NOTES
Text of Note
Title
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Automatic theorem proving
Entry Element
Artificial intelligence
Entry Element
Electronic digital computers- Programming
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
9
Classification Record Number
.
A96
,
W67
1988
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Wos, Larry
