検索結果
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=1103603397
Title in Japanese | 真偽維持システムを用いた項書換えシステムの推論手続きに関する研究 |
Title in English | |
Year of conferral of degrees | 1993 |
Type of degree / Kind of academic degree | 1(課程博士) / 036(博士(工学)) |
Report number | 3397 |
Date of conferral of degrees | 1994-03-25 |
The primary examiner / A deputy examiner | 大内,東 / 新保,勝 宮本,衛市 嘉数,侑昇 栗原,正仁 |
Location | |
Call number | |
Comment | |
Summary | 3397_kondo.pdf |