著者典拠情報

著者標目形：
International Workshop on Logic Program Synthesis and Transformation
属性：
Meeting
場所：
University of Manchester;Louvain-la-Neuve, Belgium;Pisa, Italy;Utrecht, The Nederlands;Stockholm;Leuven, Belgium;Manchester;Venice;London
日付：
1991;1992;1993;1994;1995;1996;1997;1998;1999;2000
から見よ参照形：
LOPSTR
Workshop on Logic Program Synthesis and Transformation, International
International Workshop on Logic-based Program Synthesis and Transformation
International Symposium on Logic-based Program Synthesis and Transformation
からも見よ参照形：
International Workshop on Program Developmet in Computational Logic <DA14494565>
注記：
Its Logic program synthesis and transformation, 1992: CIP t.p. (LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation)
EDSRC:Logic program synthesis and transformation-- Meta-programming in logic, 1994: t.p. (4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 1994)
EDSRC:Logic program synthesis and transformation, c1996: t.p. (5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995)
Logic-based program synthesis and transformation, c1999: t.p. (8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998) pref. (the series was renamed Logic-based Program Synthesis and Transformation, as opposed to the former Logic Program Synthesis and Transformation) spine (LOPSTR'98)
EDSRC:Logic-based program synthesis and transformation, c2000: t.p. (9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999)
EDSRC:Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers / Sandro Etalle (ed.) (Springer, c2005)
著者典拠ID：
DA06362401


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
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
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
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館