著者典拠情報

著者標目形：
Turini, Franco, 1949-
属性：
Personal
日付：
1949
注記：
Logic program synthesis and transformation-- Meta programming in Logic, 1994: CIP t.p. (Franco Turini) data sheet (b. 08-09-49) t.p. verso (Dip. di Informatica, U. of Pisa, Italy)
SRC:Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 1994 : proceedings / Laurent Fribourg, Franco Turini, (eds.)(Springer-Verlag, 1994)
著者典拠ID：
DA08750332


1.

図書
図書
1. Meta-logics and logic programming
edited by Krzysztof R. Apt and Franco Turini
出版情報: Cambridge, Mass. : MIT Press, c1995
シリーズ名: Logic programming
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館