Glossaria.net

Glossar Abkürzungen / Thema

LNCS897

-M. Fisher/R. Owens (Eds.): Executable Modal and Temporal Logics. Proceedings 1993, Springer-Verlag 1995 (Subseries LNAI)

Permanenter Link LNCS897 - Erstellungsdatum 2021-01-20


< LNCS896 Glossar / Abkürzungen LNCS898 >