著者典拠情報

標目形：
Heering, J
属性：
Personal
から見よ参照形：
Heering, Jan
注記：
Algebraic specification for abstract data types, 1988, c1989: CIP t.p. (J. Heering)
EDSRC:Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.)(Springer-Verlag, c1994)
著者典拠ID：
DA04187253


 close
1.

図書
図書
1. Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Michael Hanus, Jan Heering, Karl Meinke, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1298
所蔵情報: loading…
2.

図書
図書
2. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers (: gw ; : us)
Jan Heering ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 816
所蔵情報: loading…