著者典拠情報

著者標目形：
Engeler, Erwin, 1930-
属性：
Personal
日付：
1930-
から見よ参照形：
Engeler, E. (Erwin)
注記：
His Formal languages, 1968
His Metamathematik der Elementarmathematik, 1983: t.p. (E. Engeler)
著者典拠ID：
DA0238677X


1.

図書
図書
1. The combinatory programme (: us ; : gw)
Erwin Engeler ; in collaboration with K. Aberer ... [et. al]
出版情報: Boston : Birkhäuser, 1995
シリーズ名: Progress in theoretical computer science
所蔵情報: 図書館
2.

図書
図書
2. Logic of programs : workshop, ETH Zürich, May-July 1979 (: gw ; : us)
edited by Erwin Engeler
出版情報: Berlin ; Tokyo : Springer, 1981
シリーズ名: Lecture notes in computer science ; 125
所蔵情報: 図書館
3.

図書
図書
3. 計算の理論入門
Erwin Engeler著 ; 稲垣康善訳
出版情報: 東京 : 日本コンピュータ協会, 1976.10
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 25
所蔵情報: 図書館
4.

図書
図書
4. Introduction to the theory of computation
Erwin Engeler
出版情報: New York : Academic Press, c1973
シリーズ名: Computer science and applied mathematics
所蔵情報: 図書館
5.

図書
図書
5. Symposium on semantics of algorithmic languages : [papers] (: Germany ; : U.S.)
edited by E. Engeler
出版情報: Berlin ; New York : Springer-Verlag, 1971
シリーズ名: Lecture notes in mathematics ; 188
所蔵情報: 図書館
6.

図書
図書
6. Formal languages; automata and structures
Erwin Engeler
出版情報: Chicago : Markham Pub. Co, c1968
シリーズ名: Lectures in advanced mathematics ; 3
所蔵情報: 図書館