関数型再帰的プログラム作成のための支援システム
dc.contributor.author | Nagata, Morio / 永田, 守男 | en_US |
dc.date.accessioned | 2014-05-09T06:56:42Z | |
dc.date.available | 2014-05-09T06:56:42Z | |
dc.date.issued | 1980-09-26 | en_US |
dc.description | 博士 (工学), 1980年度 | en_US |
dc.identifier.uri | http://iroha.scitech.lib.keio.ac.jp:8080/sigma/handle/10721/705 | |
dc.language | jpn | en_US |
dc.publisher | 慶應義塾大学理工学研究科 | en_US |
dc.title | 関数型再帰的プログラム作成のための支援システム | en_US |
dc.title.alternative | A support system for functional recursive program construction | en_US |
dc.type | 学位論文 | en_US |