- LNCS1397
- -H. de Swart (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Proceedings, Springer-Verlag 1998 (Subseries LNAI)
Acronyms. 2013.
LNCS1397
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1397 — H. de Swart (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods. Proceedings, Springer Verlag 1998 (Subseries LNAI) … Acronyms von A bis Z
