LNCS1289

LNCS1289
-G. Gottlob/A. Leitsch/D. Mundici (Eds.): Computational Logic and Proof Theory. Proccedings, Springer-Verlag 1997

Acronyms. 2013.

Игры ⚽ Нужно решить контрольную?

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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”