Logic program synthesis and transformation meta-programming in logic : proceedings - Fribourg Laurent; International Joint Workshop on Logic Program Synthesis and Transformation Meta-Programming in Logic( 4th : 1994 : Pisa ); International Joint Workshop on Logic Program Synthesis and Transformation Meta-Programming in Logic 4th Pisa, 1994 (Berlin Springer Verlag, 1994)
Keywords: Computer science; Logic programming