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

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

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

井田哲雄研究代表

[つくば] : [井田哲雄], 2008.5

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.63-I18

10008008585

本学

詳細情報

刊年

2008

形態

1冊 : 挿図 ; 30cm

シリーズ名

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

注記

課題番号: 17300004

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn) ; 英語 (eng)

著者情報

井田, 哲雄(1947-) (イダ, テツオ) [ Ida, Tetsuo ] [ Ida, T. ]

NCID

BA86705943

番号

KAKEN : 17300004