| No | 108555 | |
| 著者（漢字） | 中村,宏 | |
| 著者（英字） | ||
| 著者（カナ） | ナカムラ,ヒロシ | |
| 標題（和） | 時相理論に基づく論理設計支援システム | |
| 標題（洋） | Logic Design Assistance System Based on Temporal Logic | |
| 報告番号 | 108555 | |
| 報告番号 | 甲08555 | |
| 学位授与日 | 1990.03.29 | |
| 学位種別 | 課程博士 | |
| 学位種類 | 工学博士 | |
| 学位記番号 | 博工第2498号 | |
| 研究科 | 工学系研究科 | |
| 専攻 | 電気工学専攻 | |
| 論文審査委員 | ||
| 内容要旨 | データはありません | |
| 審査要旨 | データはありません | |
| UTokyo Repositoryリンク | http://hdl.handle.net/2261/1804 |