Logic program synthesis and transformation -- Meta-programming in logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings

Logic program synthesis and transformation -- Meta-programming in logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings

Bibliografiset tiedot
Yhteisötekijät: International Workshop on Logic Program Synthesis and Transformation Pisa, Italy, META '94
Muut tekijät: Fribourg, Laurent 1957-, Turini, Franco 1949-
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Berlin Springer-Verlag c1994.
Aiheet:
Logic programming > Congresses.