عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.310
QA
76
.
L28
Vol
.
310
کتابخانه
محل استقرار
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings
9th: 1988: Argonne, Ill.
Berlin
Springer-Verlag
c1988
x, 775p.: ill
Lecture notes in computer science; 013
On spine: CADE-9
Includes bibliographies
ISBN: 354019343X
E. Lusk, R. Overbeek )eds.(
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
310
AU
AU Lusk, Ewing
AU Overbeek, Ross A.
TI
TI Ninth International Conference on Automated Deduction
TI Automated deduction
SE
International Conference on Automated Deduction
