Jump to main content
博士論文

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

Icons representing 博士論文
The cover of this title could differ from library to library. Link to Help Page

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

Persistent ID (NDL)
info:ndljp/pid/10121282
Material type
博士論文
Author
石飛, 太一
Publisher
-
Publication date
2016-03
Material Format
Digital
Capacity, size, etc.
-
Name of awarding university/degree
北陸先端科学技術大学院大学,博士(情報科学)
View All

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii DissertationsLeave the NDL website. から、本文を自由に閲覧できる場合があります。

Notes on use

Note (General):

Supervisor:飯田 弘之情報科学研究科博士...

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
博士論文
Author/Editor
石飛, 太一
Publication Date
2016-03
Publication Date (W3CDTF)
2016-03
Degree grantor/type
北陸先端科学技術大学院大学
Date Granted
2016-03-24
Date Granted (W3CDTF)
2016-03-24
Dissertation Number
甲第905号
Degree Type
博士(情報科学)