Acronyms von A bis Z
2 3 8 A B C D E F G H I J K [L] M N O P Q R S T U V W X Y Z
LNCS897
-M. Fisher/R. Owens (Eds.): Executable Modal and Temporal Logics. Proceedings 1993, Springer-Verlag 1995 (Subseries LNAI)
Sie können einen Link zu dem Wort setzen

Ansicht: LNCS897