Logic program synthesis and transformation :  5th international workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / 
Maurizio Proietti (ed.). 
 - Berlin :  Springer,  1996. 
 - X, 266 s. ;  24 cm. 
 - Lecture Notes in Computer Science ;  1048 .
 - Lecture Notes in Computer Science  1048 .
<br/><br/>
<br/><br/><label>ISBN: </label>3540609393 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programowanie logiczne--konferencje.
<br/><br/><label>Universal Decimal Class. No.: </label>004.42