LNCS1104

LNCS1104
-M.A. McRobble/J-K. Slaney (Eds.): Automated Deduction - CADE-13. Springer-Verlag Proceedings 1996 (Subseries LNAI)

Acronyms. 2013.

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

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

  • LNCS1104 — M.A. McRobble/J K. Slaney (Eds.): Automated Deduction CADE 13. Springer Verlag Proceedings 1996 (Subseries LNAI) …   Acronyms von A bis Z

Share the article and excerpts

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