Glossar Abkürzungen / Thema

LNCS446

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

Permanenter Link LNCS446 - Erstellungsdatum 2021-01-20

Glossaria.net