- LNCS996
- -P. Dybjer et al. (Eds.): Types for Proofs and Programs. Proceedings 1994, Springer-Verlag 1995
Acronyms. 2013.
LNCS996
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS996 — P. Dybjer et al. (Eds.): Types for Proofs and Programs. Proceedings 1994, Springer Verlag 1995 … Acronyms von A bis Z
