著者典拠情報

著者標目形：
Fribourg, Laurent, 1957-
属性：
Personal
日付：
1957
注記：
Logic program synthesis and transformation-- Meta programming in Logic, 1994: CIP t.p. (Laurent Fribourg) data sheet (b. 11-26-57) t.p. verso (LIENS-CNRS, Paris, France)
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：
DA08750321


1.

図書
図書
1. Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Laurent Fribourg (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2142 . Lecture notes in artificial intelligence
所蔵情報: 図書館
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
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館