WEKO3
アイテム
構成的論理に基づくプログラムの合成と解析の研究
https://doi.org/10.11501/3087339
https://doi.org/10.11501/30873398f08aa3c-59ff-43c7-9e91-b1903c2b9a5a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
247682.pdf (12.2 MB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2012-03-01 | |||||
| タイトル | ||||||
| タイトル | 構成的論理に基づくプログラムの合成と解析の研究 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_46ec | |||||
| タイプ | thesis | |||||
| ID登録 | ||||||
| ID登録 | 10.11501/3087339 | |||||
| ID登録タイプ | JaLC | |||||
| 著者 |
後藤, 滋樹
× 後藤, 滋樹 |
|||||
| 著者所属 | ||||||
| 著者所属 | 工学系研究科情報工学専攻 | |||||
| 書誌情報 | 発行日 1991-02-14 | |||||
| 学位名 | ||||||
| 学位名 | 工学博士 | |||||
| 学位 | ||||||
| 値 | doctoral | |||||
| 学位分野 | ||||||
| Engineering (工学) | ||||||
| 学位授与機関 | ||||||
| 学位授与機関名 | University of Tokyo (東京大学) | |||||
| 研究科・専攻 | ||||||
| Department of Information Engineering, Graduate School of Engineering (工学系研究科情報工学専攻) | ||||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 1991-02-14 | |||||
| 学位授与番号 | ||||||
| 学位授与番号 | 乙第10041号 | |||||
| 学位記番号 | ||||||
| 第10041号 | ||||||
