検索結果

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=1103604755
    Title in Japanese帰納等式プログラミングにおける多相型を用いた一般化と再帰性の推論に関する研究
    Title in English
    Year of conferral of degrees1998
    Type of degree / Kind of academic degree1（課程博士） / 036（博士(工学)）
    Report number4755
    Date of conferral of degrees1999-03-25
    The primary examiner / A deputy examiner田中,譲 / 原口,誠　宮本,衛市　山本,章博
    Location
    Call number
    Comment
    Summary4755_ishino.pdf