International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa, Italy)

Identifiers

Open LibraryOL589702A

Top Subjects

Logic programming -- Congresses (1)

Books by International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa, Italy)

Total count: 1

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

Springer-Verlag1994-01-01