検索結果

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=2009030182
    Title in Japanese論理等価式を経由した等価変換ルールの生成に関する研究
    Title in EnglishGeneration of Equivalent Transformation Rules via Logical Equivalence
    Year of conferral of degrees2008
    Type of degree / Kind of academic degree1（課程博士） / 094（博士(情報科学)）
    Report number9055
    Date of conferral of degrees2009-03-25
    The primary examiner / A deputy examiner赤間,清 / 大宮,学 栗原,正仁 水田,正弘
    Location
    Call number
    Comment
    Summary9055_miura.pdf