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

Bewaard in:
Bibliografische gegevens
Coauteurs: International Workshop on Logic Program Synthesis and Transformation Pisa, Italy, META '94
Andere auteurs: Turini, Franco, 1949-, Fribourg, Laurent, 1957-
Formaat: Conferentie akten Boek
Taal:English
Gepubliceerd in: Berlin ; New York : Springer-Verlag, c1994.
Reeks:Lecture notes in computer science ; 883.
Onderwerpen:
Omschrijving
Fysieke beschrijving:ix, 450 p. : ill. ; 24 cm.
Bibliografie:Includes bibliographical references and index.
ISBN:3540587926