Logic Based Program Synthesis and Transformation: Revised Selected Papers/14th International Symposium, LOPSTR 2004. Verona, Italy, August 2004

Б2.23, Б2.1, Б3.21.

Logic Based Program Synthesis and Transformation: Revised Selected Papers/14th International Symposium, LOPSTR 2004. Verona, Italy, August 2004Ed. by Etalle S..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3573.-279 p.-(Lecture Notes in Computer Science).