Deep証明数探索と詰問題の美観評価

機関リポジトリ NDLデジタルコレクション CiNii

書誌事項

タイトル
Deep証明数探索と詰問題の美観評価
著者
石飛, 太一
学位授与大学
北陸先端科学技術大学院大学
取得学位
博士（情報科学）
学位授与番号
甲第905号
学位授与年月日
2016-03-24

説明

Supervisor:飯田 弘之

情報科学研究科

博士

identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/13516

キーワード

詳細情報 詳細情報について

ページトップへ