- LNCS1071
- -P. Miglioli et al. (Eds.): Theorem Proving with Analytic Tableaux and Related Methodes, Springer-Verlag Proceedings 1996 (Subseries LNAI)
Acronyms. 2013.
LNCS1071
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
