閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
D1005490 (fulltext)	pdf	3.72 MB	59
D1005490y (abstract)	pdf	171 KB	28

メタデータ

ファイル出力

メタデータID	D1005490
アクセス権	open access
出版タイプ	Version of Record
タイトル	命題論理の充足可能性判定問題への符号化を用いた制約充足問題の解法に関する研究
著者	著者名 丹生, 智也 タンジョウ, トモヤ 所属機関名 神戸大学大学院工学研究科情報知能学専攻
言語	Japanese (日本語)
刊行日	2012-01
公開日	2014-01-15
学位授与番号	甲5490
学位名	博士（工学）
学位授与年月日	2012-03-25
学位授与機関	学位授与機関識別子 14501 学位授与機関名　　 神戸大学 Kobe University
審査員	教授　田村　直之
	教授　桔梗　宏孝
	教授　玉置　久
	准教授　番原　睦則
請求記号	工博-い-724(社会科学系図書館)
カテゴリ	工学研究科
	博士（工学） ＞ 2012
	博士論文

ホームへ戻る