Deep証明数探索と詰問題の美観評価
この論文にアクセスする
著者
書誌事項
- タイトル
-
Deep証明数探索と詰問題の美観評価
- 著者名
-
石飛, 太一
- 学位授与大学
-
北陸先端科学技術大学院大学
- 取得学位
-
博士（情報科学）
- 学位授与番号
-
甲第905号
- 学位授与年月日
-
2016-03-24
注記・抄録
Supervisor:飯田 弘之
情報科学研究科
博士
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/13516