Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings
International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa, Italy) Laurent Fribourg 1957-; Franco Turini 1949-; META '94 (1994 Pisa, Italy)
Berlin Springer-Verlag New York c1994
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.883 )(Acessar)