公益財団法人ひょうご科学技術協会   文字サイズ変更： [ログイン] データ検索： 全文 部門 専門分野 キーワード 研究概要 研究者 [詳細検索] ページ行数： 5件 10件 20件 50件 100件 全件 ページ移動： 1ページ /1ページ [前のページ] 「部門」の 数理科学 での検索結果は1件です。 [次のページ] 組織(略称) 部門 専門分野 キーワード 研究概要 職名・氏名 甲南大 数理科学 代数学 数式処理ソフトウェア利用 proof assistant、Isabelle/HOL 「コンピュータで数学をする - Do math with software 」 自動定理証... 教授 高橋　正 [前のページ] [次のページ] お問い合わせ｜ 著作権に関して｜ Copyright(c) 2005-2016 HyogoSTA. All Rights Reserved.