著者典拠情報

著者標目形：
Dowek, Gilles
属性：
Personal
注記：
Higher-order algebra, logic, and term rewriting, 1996: CIP t.p. (Gilles Dowek) t.p. verso (INRIA-Rocquencourt, Le Chesney, France)
SRC:Higher-order algebra, logic, and term rewriting : 2nd International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.] (eds.)(Springer, c1996)
著者典拠ID：
DA09869691


1.

図書
図書
1. Principles of programming languages (: pbk)
Gilles Dowek
出版情報: London : Springer, c2009
シリーズ名: Undergraduate topics in computer science
所蔵情報: 図書館
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
所蔵情報: 図書館