Acronyms von A bis Z
LNCS68
-D. Harei: First-Order Dynamic Logic, Springer-Verlag 1979
Sie können einen Link zu dem Wort setzen

Ansicht: LNCS68