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

IR NDL Digital Collections CiNii

Bibliographic Information

Title
Deep証明数探索と詰問題の美観評価
Author
石飛, 太一
University
北陸先端科学技術大学院大学
Types of degree
博士（情報科学）
Grant ID
甲第905号
Degree year
2016-03-24

Description

Supervisor:飯田 弘之

情報科学研究科

博士

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

Keywords

Details 詳細情報について

Back to top