LNCS87

LNCS87
-W. Bibel/R. Kowalski (Eds.): 5th Conference on Automated Deduction, Proceedings 1980, Springer-Verlag 1980

Acronyms. 2013.

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

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

  • LNCS87 — W. Bibel/R. Kowalski (Eds.): 5th Conference on Automated Deduction, Proceedings 1980, Springer Verlag 1980 …   Acronyms von A bis Z

Share the article and excerpts

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