著者典拠情報

著者標目形：
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
属性：
Meeting
場所：
Amsterdam;Paderborn, German;Southampton
日付：
1993;1995;1997
から見よ参照形：
HOA
International Workshop, HOA
Workshop on Higher-Order Algebra, Logic, and Term Rewriting, International
注記：
Higher-order algebra, logic, and term rewriting, c1994: CIP t.p. (First international workshop, HOA '93) pref. (International Workshop on Higher-Order Algebra, Logic, and Term Rewriting)
SRC: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)
Higher-order algebra, logic, and term rewriting, c1996: t.p. (Second International Workshop, HOA '95) pref. (International Workshop on Higher-Order Algebre, Logic, and Term Rewriting (HOA '95))
EDSRC: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.)(Springer-Verlag, c1997)
著者典拠ID：
DA08491336


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

図書
図書
2. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Gilles Dowek ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1074
所蔵情報: 図書館
3.

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