WEKO3
アイテム
定理証明ハードウェア記述言語のためのステートレス回路モデル
http://hdl.handle.net/2298/37641
http://hdl.handle.net/2298/37641fdc8399c-f3b7-4c09-84ae-a026ba6eebff
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
要約 (117.0 kB)
|
|
|
|
審査要旨 (100.4 kB)
|
|
|
|
論文要旨 (95.8 kB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-07-20 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 定理証明ハードウェア記述言語のためのステートレス回路モデル | |||||||||||
| 言語 | ja | |||||||||||
| タイトル | ||||||||||||
| タイトル | テイリ ショウメイ ハードウェア キジュツ ゲンゴ ノ タメ ノ ステートレス カイロ モデル | |||||||||||
| 言語 | ja-Kana | |||||||||||
| タイトル | ||||||||||||
| タイトル | Stateless Circuit Model toward a Theorem-proving Hardware Description Language | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_46ec | |||||||||||
| 資源タイプ | thesis | |||||||||||
| 著者 |
西村, 俊二
× 西村, 俊二
|
|||||||||||
| 書誌情報 |
発行年 2017-03-25 |
|||||||||||
| 日本十進分類法 | ||||||||||||
| 主題 | 377.5 | |||||||||||
| 出版者 | ||||||||||||
| 出版者 | 熊本大学 | |||||||||||
| 言語 | ja | |||||||||||
| 学位名 | ||||||||||||
| 学位名 | 博士（工学）(ja) | |||||||||||
| 学位授与機関 | ||||||||||||
| 学位授与機関名 | 熊本大学 | |||||||||||
| 学位授与年月日 | ||||||||||||
| 学位授与年月日 | 2017-03-25 | |||||||||||
| 学位授与番号 | ||||||||||||
| 学位授与番号 | 甲第662号 | |||||||||||
| コメント | ||||||||||||
| 値 | 自然科学研究科 情報電気電子工学専攻 | |||||||||||
| コメント | ||||||||||||
| 値 | 本論文に関連する発表論文・研究報告･･･International Journal of Innovative Computing, Information and Control, Vol.12, No.3, pp.761-778, 2016. | |||||||||||
| 学位番号 | ||||||||||||
| 値 | 甲博工第662号 | |||||||||||
