Logic Program Synthesis and Transformation — Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Main Author: Fribourg, Laurent
Other Authors: Turini, Franco
Format: eBook
Published: Berlin [u.a.] Springer 1994, 1994
Series:Lecture Notes in Computer Science
Online Access:
Collection: Springer Lecture Notes Archiv 1964-1996 - Collection details see MPG.ReNa