Search by Bookstore
Search by Bookstore
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.
- Material Type
- 博士論文
- Author/Editor
- Akihiro Matsuura [著]
- Author Heading
- 松浦, 昭洋 マツウラ, アキヒロ
- Publication, Distribution, etc.
- Publication Date
- 2002
- Publication Date (W3CDTF)
- 2002
- Extent
- 1冊
- Alternative Title
- 有限オートマトン、CNF論理式の充足可能性問題、算術計算に現れる組合せ的構造 ユウゲン オートマトン CNF ロンリシキ ノ ジュウソク カノウセイ モンダイ サンジュツ ケイサン ニ アラワレル クミアワセテキ コウゾウ
- Degree grantor/type
- 京都大学