著者典拠情報

著者標目形：
Kirchner, Hélène
属性：
Personal
から見よ参照形：
Kirchner, H. (Hélène)
注記：
Algebraic and logic programming, c1990: CIP t.p. (H. Kirchner) t.p. verso (Hélène Kirchner; CRIN & INRIA-Lorraine)
著者典拠ID：
DA04744826


1.

図書
図書
1. Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000
シリーズ名: Lecture notes in computer science ; 1794 . Lecture notes in artificial intelligence
所蔵情報: 図書館
2.

図書
図書
2. Trees in algebra and programming -- CAAP'96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings
Hélène Kirchner, (ed.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1059
所蔵情報: 図書館
3.

図書
図書
3. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings (: gw ; : us)
H. Kirchner, G. Levi (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 632
所蔵情報: 図書館
4.

図書
図書
4. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings (: gw ; : us)
H. Kirchner, W. Wechler (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 463
所蔵情報: 図書館