書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- キュウカイ , ショウメイ , カキカエ ノ インタラクション ニ ヨル キゴウ ケイサン ト キゴウ ケイサン グリッド ノ コウチク
- 著者・編者
- 井田哲雄, 筑波大学 [著]
- 出版事項
- 出版年月日等
- 2005-20072008.5
- 出版年(W3CDTF)
- 20052007
- 数量
- 1冊
- その他のタイトル
- 研究種目 基盤研究(B)求解、証明、書換のインタラクションによる記号計算と記号計算グリットの構築