元吉 文男 | 独立行政法人 産業技術総合研究所
スポンサーリンク
概要
関連著者
-
元吉 文男
独立行政法人 産業技術総合研究所
-
元吉 文男
独立行政法人産業技術総合研究所
-
佐藤 泰介
東京工業大学大学院情報理工学研究科計算工学専攻
-
秋葉 澄孝
産業技術総合研究所
-
元吉 文男
産業技術総合研究所
-
秋葉 澄孝
独立行政法人産業技術総合研究所
-
元吉 文男
電子技術総合研究所知能情報部
-
佐藤 泰介
東京工業大学
著作論文
- 論理式の置換と選言標準形への変形による論理プログラムの計算手続き
- 式変形支援システムの作成 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- HTMLによる数式表示 (Computer Algebra : Design of Algorithms, Implementations and Applications)