イダ, テツオ
井田, 哲雄 (1947-)
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
場所 | 横浜 |
一般注記 | 筑波大学 システム情報工学研究科 コンピュータサイエン専攻 教授 「プログラミング言語の新潮流」の著者 EDSRC:求解、証明、書換のインタラクションによる記号計算と記号計算グリットの構築 / 井田哲雄研究代表 ([井田哲雄], 2008.5) |
生没年等 | 1947 |
から見よ参照 | Ida, Tetsuo Ida, T. |
コード類 | 典拠ID=AU00009322 NCID=DA02332850 |
1 | 計算モデルの基礎理論 / 井田哲雄 [著] 東京 : 岩波書店 , 1991.3 |