LNCS1632

LNCS1632
-H. Ganzinger (Ed.): Automated Deduction - Cade-16. Proceedings, Springer-Verlag 1999 (Subseries LNAI)

Acronyms. 2013.

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

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

  • LNCS1632 — H. Ganzinger (Ed.): Automated Deduction Cade 16. Proceedings, Springer Verlag 1999 (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”