- LNCS1559
- -P.Flener (Ed.): Logic-Based Program Synthesis and Transformation. Proceedings 1998, Springer-Verlag 1999
Acronyms. 2013.
Acronyms. 2013.
LNCS1559 — P.Flener (Ed.): Logic Based Program Synthesis and Transformation. Proceedings 1998, Springer Verlag 1999 … Acronyms von A bis Z