求解、証明、書換のインタラクションによる記号計算と記号計算グリットの構築

著者

• 井田, 哲雄 イダ, テツオ

書誌事項

求解、証明、書換のインタラクションによる記号計算と記号計算グリットの構築

井田哲雄研究代表

（科学研究費補助金(基盤研究(B))研究成果報告書, 平成17年度-平成19年度）

[井田哲雄], 2008.5

タイトル読み

キュウカイ ショウメイ カキカエ ノ インタラクション ニヨル キゴウ ケンサン ト キゴウ ケイサン グリット ノ コウチク

注記

課題番号: 17300004

詳細情報

• NII書誌ID(NCID): BA86705943
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [つくば]
• ページ数/冊数: 1冊
• 大きさ: 30cm
• 親書誌ID:
  • BA31388455