Logic-Based Program Synthesis and Transformation: Revised Selected Papers/17th International Symposium, LOPSTR 2007. Kongens Lyngby, Denmark, August 2007

Б2.23, Б3.52.

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/17th International Symposium, LOPSTR 2007. Kongens Lyngby, Denmark, August 2007Ed. by King A..-Berlin, Heidelberg.: Springer, 2008.-Vol. 4915.-219 p.-(Lecture Notes in Computer Science).