LNCS996

LNCS996
-P. Dybjer et al. (Eds.): Types for Proofs and Programs. Proceedings 1994, Springer-Verlag 1995

Acronyms. 2013.

Игры ⚽ Поможем решить контрольную работу

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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”