著者典拠情報

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


 close
1.

図書
図書
1. チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳
出版情報: [東京] : 日経BP社 , 東京 : 日経BPマーケティング (発売), 2012.6
所蔵情報: loading…
2.

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

図書
図書
3. 新しいプログラミング・パラダイム ([正] ; 続)
井田哲雄編
出版情報: 東京 : 共立出版, 1989.11-1990.11
所蔵情報: loading…
4.

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