عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96B68
QA
76
.
9
.
A96B68
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A computational logic
First Statement of Responsibility
Robert S. Boyer and J. Strother Moore
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Academic Press
Date of Publication, Distribution, etc.
c1979
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 397p
SERIES
Other Title Information
ACM monograph series
GENERAL NOTES
Text of Note
Bibliography: p. 385-387
Text of Note
ISBN: 0121229505
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Automatic theorem proving
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
A96B68
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Boyer, Robert S.
Relator Code
AU
AU Moore, J. Strother, 1947-
TI
SE
