- LNCS827
- -D. M. Gabbay/H. J. Ohlbach (Eds.): Temporal Logic. Proceedings 1994, Springer-Verlag 1994 (Subseries LNAI)
Acronyms. 2013.
LNCS827
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS827 — D. M. Gabbay/H. J. Ohlbach (Eds.): Temporal Logic. Proceedings 1994, Springer Verlag 1994 (Subseries LNAI) … Acronyms von A bis Z
