Logic based program synthesis and transformation :  13th international symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / 
 LOPSTR 2003 
Maurice Bruynooghe, ed. 
 - 232 páginas :  ilustraciones 
<br/><br/><label>ISBN: </label>3540221743 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación lógica--Congresos
<br/><br/><label>LC Class. No.: </label>QA76.63  / I58 2004