عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:0121229505
NATIONAL BIBLIOGRAPHY NUMBER
Number
32734
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
General Material Designation
[electronic resources]
First Statement of Responsibility
\ Robert S. Boyer and J Strother Moore
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Saint Louis
Name of Publisher, Distributor, etc.
: Academic Press
Date of Publication, Distribution, etc.
, 1979
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii,420 p.
SERIES
Series Title
ACM Monograph.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving.
LIBRARY OF CONGRESS CLASSIFICATION
E-Book
,
PERSONAL NAME - PRIMARY RESPONSIBILITY
Boyer, Robert S
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Moore, J Strother
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
0121229505.pdf
p
BL
279177
1
a
N
