عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 B68
QA
76
.
9
.
A96
B68
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
3696
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Boyer, Robert S.
Title Proper
A computational logic
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Academic Press
Date of Publication, Distribution, etc.
,c1979
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 397 p. 24 cm.
GENERAL NOTES
Text of Note
ISBN: 0121229505
Text of Note
Bibliography: p. 385-387.
Text of Note
ng
Text of Note
Includes index.
TOPICAL NAME USED AS SUBJECT
Entry Element
، Automatic theorem proving
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
A96
B68
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Robert S. Boyer and J Strother Moore
AU .rohtua tnioj-7491,rehtortS .J ,erooM
TI
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
ه مرکزیانابخن کتش التیبخ
