命題論理の充足可能性判定問題への符号化を用いた制約充足問題の解法に関する研究

Notes on use

Search by Bookstore

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

Material Type: 博士論文
Title: 命題論理の充足可能性判定問題への符号化を用いた制約充足問題の解法に関する研究
Title Transcription: メイダイロンリノジュウソクカノウセイハンテイモンダイエノフゴウカオモチイタセイヤクジュウソクモンダイノカイホウニカンスルケンキュウ
Author/Editor: 丹生智也 [著]
Author Heading: 丹生, 智也タンジョウ, トモヤ
Publication, Distribution, etc.: [丹生智也]
Publication Date: [2012]
Publication Date (W3CDTF): 2012
Extent: 1冊
Degree grantor/type: 神戸大学
Date Granted: 平成24年3月25日
Date Granted (W3CDTF): 2012
Dissertation Number: 甲第5490号
Degree Type: 博士 (工学)
Note (Dissertation): 博士論文
Place of Publication (Country Code): JP
Text Language Code: jpn
NDLC: UT51
Target Audience: 一般
Note (General): 博士論文
Holding library: 国立国会図書館
Call No.: UT51-2012-H424
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 023963515
http://id.ndl.go.jp/bib/023963515
Bibliographic Record Category (NDL): 213