- LNCS1657
- -T. Altenkirch/W. Naraschewski/B. Reus (Eds.): Types for Proofs and Programs. Proceedings 1998, Springer-Verlag 1999
Acronyms. 2013.
LNCS1657
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1657 — T. Altenkirch/W. Naraschewski/B. Reus (Eds.): Types for Proofs and Programs. Proceedings 1998, Springer Verlag 1999 … Acronyms von A bis Z
