عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 G35
QA
76
.
9
.
A96
G35
کتابخانه
محل استقرار
H1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
GALLIER,JEAN H
Title Proper
Logic for computer science:foundations of automatic theorem
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
1986
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
G35
