No | 210041 | |
著者(漢字) | 後藤,滋樹 | |
著者(英字) | ||
著者(カナ) | ゴトウ,シゲキ | |
標題(和) | 構成的論理に基づくプログラムの合成と解析の研究 | |
標題(洋) | ||
報告番号 | 210041 | |
報告番号 | 乙10041 | |
学位授与日 | 1991.02.14 | |
学位種別 | 論文博士 | |
学位種類 | 工学博士 | |
学位記番号 | 第10041号 | |
研究科 | 工学系研究科 | |
専攻 | 情報工学専攻 | |
論文審査委員 | ||
内容要旨 | データはありません | |
審査要旨 | データはありません | |
UTokyo Repositoryリンク | http://hdl.handle.net/2261/50742 |