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