検索結果

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=2008120010
    Title in Japanese項書換え系多重完備化手続きの拡張
    Title in EnglishExtensions of Multi-Completion Systems forTerm Rewriting Systems
    Year of conferral of degrees2008
    Type of degree / Kind of academic degree1（課程博士） / 094（博士(情報科学)）
    Report number8867
    Date of conferral of degrees2008-12-25
    The primary examiner / A deputy examiner栗原,正仁 / 古川,正志 大内,東 赤間,清
    Location
    Call number
    Comment
    Summary8867_sato.pdf