Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers - Puebla, German; LOPSTR 2006 2006 : Venice, Italy ) (New York : Springer, 2007)
1 3
Keywords: Logic programming -- Congresses