- LNCS1289
- -G. Gottlob/A. Leitsch/D. Mundici (Eds.): Computational Logic and Proof Theory. Proccedings, Springer-Verlag 1997
Acronyms. 2013.
LNCS1289
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1289 — G. Gottlob/A. Leitsch/D. Mundici (Eds.): Computational Logic and Proof Theory. Proccedings, Springer Verlag 1997 … Acronyms von A bis Z
