عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 A93 1984
QA
76
.
9
.
A96
A93
1984
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
9218
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated reasoning: introduction and applications
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Englewood Cliffs, N. J
Name of Publisher, Distributor, etc.
Prentice - Hall
Date of Publication, Distribution, etc.
1984
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 482p.: ill
GENERAL NOTES
Text of Note
Includes bibliographies and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
)by( Larry Wos )et al.(
TOPICAL NAME USED AS SUBJECT
Entry Element
، Automatic theorem proving
Entry Element
، Artificial intelligence
Entry Element
Programming ، Electronic digital computers
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
A96
A93
1984
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Wos, Larry
LOCATION AND CALL NUMBER
Call Number Suffix
CL
