- LNCS1512
- -E. Gimenez/C. Paulin-Mohring (Eds.): Types for Proofs and Programs. Proceedings 1996, Springer-Verlag 1998
Acronyms. 2013.
LNCS1512
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1512 — E. Gimenez/C. Paulin Mohring (Eds.): Types for Proofs and Programs. Proceedings 1996, Springer Verlag 1998 … Acronyms von A bis Z
