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=2010030182
Title in Japanese | 論理式の置換と等式計算に基づく論理プログラムの研究 |
Title in English | |
Year of conferral of degrees | 2009 |
Type of degree / Kind of academic degree | 1(課程博士) / 094(博士(情報科学)) |
Report number | 9494 |
Date of conferral of degrees | 2010-03-25 |
The primary examiner / A deputy examiner | 原口,誠 / 有村,博紀 栗原,正仁 赤間,清 |
Location | |
Call number | |
Comment | |
Summary | 9494_akiba.pdf |