1.

図書
図書
1. Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
Michael Leuschel (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2664
所蔵情報: 図書館
2.

図書
図書
2. Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
Annalisa Bossi (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1817
所蔵情報: 図書館
3.

図書
図書
3. Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)
International Workshop on Logic Program Synthesis and Transformation ; Proietti, Maurizio, 1959-
出版情報: Berlin ; New York ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1048
所蔵情報: 図書館
4.

図書
図書
4. Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993
Yves Deville, ed
出版情報: London ; New York : Springer-Verlag, c1994
シリーズ名: Workshops in computing
所蔵情報: 図書館
5.

図書
図書
5. Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings
Laurent Fribourg, Franco Turini (Eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 883
所蔵情報: 図書館