中图分类法:	TP181-532 版次：
题名:	Logic-based program synthesis and transformation : [ 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： 2008.
载体形态:	x, 217 p. : ill. ; 24 cm.
主题词:	Logic programming
主要责任者:	King, Andrew Malcolm.