検索結果

Search results

Search results are displayed in the origlnal language of each paper.

1 items found.

  1. 大柳,俊夫 (オオヤナギ,トシオ)
    2. https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=en&ACCN=1203604573
    Title in Japanese数理計画法に基づく命題論理充足可能性問題の解法に関する研究
    Title in English
    Year of conferral of degrees1994
    Type of degree / Kind of academic degree2（論文博士） / 036（博士(工学)）
    Report number4573
    Date of conferral of degrees1994-06-30
    The primary examiner / A deputy examiner大内,東 / 宮本,衛市　伊達,惇　嘉数,侑昇　加地,郁夫
    Location
    Call number
    Comment
    Summary4573_oyanagi.pdf