公益財団法人ひょうご科学技術協会公益財団法人ひょうご科学技術協会
文字サイズ変更:拡大 縮小 元に戻す
TOPはじめにご利用にあたって研究機関別一覧研究部門一覧
ひょうご研究機関 研究者シーズ集
[ログイン]


データ検索: [詳細検索]
ページ行数: ページ移動: /1ページ

[前のページ] 「部門」の 数理科学 での検索結果は1件です。 [次のページ]
組織(略称) 部門 専門分野 キーワード 研究概要 職名・氏名
甲南大 数理科学 代数学
数式処理ソフトウェア利用
proof assistant、Isabelle/HOL 「コンピュータで数学をする - Do math with software 」

自動定理証...
教授
高橋 正
[前のページ] [次のページ]

お問い合わせ 著作権に関して