LNCS446

LNCS446
-L. Plümer: Termination Proofs for Logic Programm, Springer-Verlag 1990 (Subseries LNAI)

Acronyms. 2013.

Игры ⚽ Нужна курсовая?

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

  • LNCS446 — L. Plümer: Termination Proofs for Logic Programm, Springer Verlag 1990 (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”