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=1203604573
Title in Japanese | 数理計画法に基づく命題論理充足可能性問題の解法に関する研究 |
Title in English | |
Year of conferral of degrees | 1994 |
Type of degree / Kind of academic degree | 2(論文博士) / 036(博士(工学)) |
Report number | 4573 |
Date of conferral of degrees | 1994-06-30 |
The primary examiner / A deputy examiner | 大内,東 / 宮本,衛市 伊達,惇 嘉数,侑昇 加地,郁夫 |
Location | |
Call number | |
Comment | |
Summary | 4573_oyanagi.pdf |