Logic based program synthesis and transformation :   15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 / 
Patricia M. Hill, editor 
 - x, 178 pages :   illustrations ;   24 cm. 
 - Lecture notes in computer science, 0302-9743; 3901 .
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>3540326545 9783540326540 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic based program synthesis.<br/>Logic based program transformation.<br/>Logic programming--Congresses.
<br/><br/><label>Dewey Class. No.: </label>005.15