LNCS814

LNCS814
-A. Bundy (Ed.): Automated Deduction - CADE -12. Proceedings 1994, Springer-Verlag 1994 (Subseries LNAI)

Acronyms. 2013.

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

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

  • LNCS814 — A. Bundy (Ed.): Automated Deduction CADE 12. Proceedings 1994, Springer Verlag 1994 (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”