Deep証明数探索と詰問題の美観評価
Access this Article
Author
Bibliographic Information
- Title
-
Deep証明数探索と詰問題の美観評価
- Author
-
石飛, 太一
- University
-
北陸先端科学技術大学院大学
- Types of degree
-
博士（情報科学）
- Grant ID
-
甲第905号
- Degree year
-
2016-03-24
Note and Description
Supervisor:飯田 弘之
情報科学研究科
博士
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/13516