عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 B684
QA
76
.
9
.
A96
B684
کتابخانه
محل استقرار
H1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
BOYER,ROBERT S
Title Proper
A computational logic handbook
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
1988
TOPICAL NAME USED AS SUBJECT
Entry Element
AUTOMATIC THEOREM PROVING
Entry Element
LOGIC,SYMBOLIC & MATHEMATICAL
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
9
Classification Record Number
.
A96
B684
