Logic-based program synthesis and transformation :  16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers / 
edited by German Puebla. 
 - viii, 235 pages :  illustrations ;  24 cm. 
 - Lecture notes in computer science ;  4407 .
<br/><br/><label>ISBN: </label>9783540714095 354071409X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming --Congresses.
<br/><br/><label>LC Class. No.: </label>QA76.63   / .L63 2007