LNCS1071

LNCS1071
-P. Miglioli et al. (Eds.): Theorem Proving with Analytic Tableaux and Related Methodes, Springer-Verlag Proceedings 1996 (Subseries LNAI)

Acronyms. 2013.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS1071 — P. Miglioli et al. (Eds.): Theorem Proving with Analytic Tableaux and Related Methodes, Springer Verlag Proceedings 1996 (Subseries LNAI) …   Acronyms von A bis Z

Share the article and excerpts

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