Search results
Search results
Search results are displayed in the origlnal language of each paper.
1 items found.
- 小池,英勝 (コイケ,ヒデカツ) https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=en&ACCN=0000258904
Title in Japanese | 等価変換計算モデルに基づく抽象機械とプログラム生成システムの設計と実装 |
Title in English | Design and Implementation of an Abstract Machine and a Program Synthesis System Based on the Equivalent Transformation Computation Model |
Year of conferral of degrees | 2002 |
Type of degree / Kind of academic degree | 1(課程博士) / 036(博士(工学)) |
Report number | 6354 |
Date of conferral of degrees | 2003-03-25 |
The primary examiner / A deputy examiner | 赤間,清 / 嘉数,侑昇 大内,東 和田,充雄 大森,隆司 |
Location | |
Call number | |
Comment | |
Summary | 6354_koike.pdf |