LNCS138

LNCS138
-D.W. Loveland (Ed.): 6th Conference on Automated Deduction, Proceedings 1982, Springer-Verlag 1982

Acronyms. 2013.

Игры ⚽ Поможем написать реферат

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

  • LNCS138 — D.W. Loveland (Ed.): 6th Conference on Automated Deduction, Proceedings 1982, Springer Verlag 1982 …   Acronyms von A bis Z

Share the article and excerpts

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