Acronyms von A bis Z
LNCS806
-H. Barendregt/T. Nipkow (Eds.): Types for Proofs and Programm, Springer-Verlag 1994
Sie können einen Link zu dem Wort setzen

Ansicht: LNCS806