close
1.

図書
図書
1. 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  287 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1074
所蔵情報: 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  344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 816
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼