LNCS1158

LNCS1158
-S. Berardi/M. Coppo (Eds.): Types for Proofs and Programs- Proceedings 1995. Springer-Verlag 1996

Acronyms. 2013.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS1158 — S. Berardi/M. Coppo (Eds.): Types for Proofs and Programs Proceedings 1995. Springer Verlag 1996 …   Acronyms von A bis Z

Share the article and excerpts

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