عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 C58
QA
9
.
A1
C58
کتابخانه
محل استقرار
English
Collegium Logicum: annals of the Kurt-Godel-Society
Wein, New York
Springer-Verlag
1995-
v.; 25 cm.
1
"Most of papers ... were presented at the Collegium Logicum, a continuing lecture series taking place in Vienna and organized by the society."
1
Congresses ، Logic
Congresses ، Logic, Symbolic and mathematical
Congresses ، Automatic theorem proving
QA
9
.
A1
C58
TI
CO Kurt Godel Society
TI Collegium Logicum )Vienna, Austria(
