学位論文要旨
No
209072
著者（漢字）
中原,早生
著者（英字）
著者（カナ）
ナカハラ,ハヤオ
標題（和）
証明とプログラム:プログラム抽出の自然な一手法
標題（洋）
Proofs and Programs:A naive approach to program extraction
報告番号
209072
報告番号
乙09072
学位授与日
1988.12.19
学位種別
論文博士
学位種類
理学博士
学位記番号
─
研究科
専攻
論文審査委員
─：
内容要旨
データはありません
審査要旨
データはありません
UTokyo Repositoryリンク