URL,博士論文名,著者名,学位授与大学名,学位授与年,学位授与番号,取得学位名,DOI,URL(DOI)
https://cir.nii.ac.jp/crid/1110564260124480128,Deep証明数探索と詰問題の美観評価,"石飛, 太一",北陸先端科学技術大学院大学,2016,甲第905号,博士（情報科学）,,