著者典拠情報

著者標目形：
井田, 哲雄(1947-)||イダ, テツオ
属性：
Personal
場所：
横浜
日付：
1947
から見よ参照形：
Ida, Tetsuo
Ida, T.
注記：
筑波大学 システム情報工学研究科 コンピュータサイエン専攻 教授
「プログラミング言語の新潮流」の著者
EDSRC:求解、証明、書換のインタラクションによる記号計算と記号計算グリットの構築 / 井田哲雄研究代表 ([井田哲雄], 2008.5)
著者典拠ID：
DA02332850


1.

図書
図書
1. 計算モデル論入門 : チューリング機械からラムダ計算へ
井田哲雄, 浜名誠共著
出版情報: 東京 : サイエンス社, 2006.8
シリーズ名: Information science & engineering ; F5
所蔵情報: 図書館
2.

図書
図書
2. 計算モデルの基礎理論
井田哲雄 [著]
出版情報: 東京 : 岩波書店, 1991.3
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12
所蔵情報: 図書館
3.

図書
図書
3. プログラミング言語の新潮流
井田哲雄著
出版情報: 東京 : 共立出版, 1988.5
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 2
所蔵情報: 図書館