- LNCS806
- -H. Barendregt/T. Nipkow (Eds.): Types for Proofs and Programm, Springer-Verlag 1994
Acronyms. 2013.
LNCS806
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS806 — H. Barendregt/T. Nipkow (Eds.): Types for Proofs and Programm, Springer Verlag 1994 … Acronyms von A bis Z
