عنوان
پدید آورنده
موضوع
رده
QA 76 .A96S97 1990
QA
76
.
A96S97
1990
کتابخانه
محل استقرار
Computational logic : symposium proceedings, Brussels, November 13/14, 1990
1990: Brussels
Berlin
Springer-Verlag
c1990
ix, 211p.: ill
ESPRIT basic research series
EUR; 13147 EN
Includes bibliographies
ISBN: 3540534377
J.W. Lloyd )ed.(
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
A96S97
1990
AU
AU Lloyd, John Wylie, 1947-
TI
SE
Symposium on Computational Logic
