- LNCS1617
- -N.V. Murray (Ed.): Automated Reasoning with Analytic Tableaux and Relation Methods. Proceedings, Springer-Verlag 1999 (Subseries LNAI)
Acronyms. 2013.
LNCS1617
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1617 — N.V. Murray (Ed.): Automated Reasoning with Analytic Tableaux and Relation Methods. Proceedings, Springer Verlag 1999 (Subseries LNAI) … Acronyms von A bis Z
