LNCS310

LNCS310
-E. Lusk/R. Overbeek (Eds.): 9th International Conference on Automated Deduction, Proceedings 1988, Springer-Verlag 1988

Acronyms. 2013.

Игры ⚽ Нужно решить контрольную?

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

  • LNCS310 — E. Lusk/R. Overbeek (Eds.): 9th International Conference on Automated Deduction, Proceedings 1988, Springer Verlag 1988 …   Acronyms von A bis Z

Share the article and excerpts

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