検索結果

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=1103104977
    Title in Japanese部分構造論理の自然演繹での定式化
    Title in EnglishNatural Deductions for Substructural Logics
    Year of conferral of degrees1999
    Type of degree / Kind of academic degree1（課程博士） / 031（博士(理学)）
    Report number4977
    Date of conferral of degrees2000-03-24
    The primary examiner / A deputy examiner辻下,徹 / 吉田,知行　津田,一郎　中戸川,孝治
    Location理学部・中央図書室
    Call number1930
    Comment
    Summary4977_ueno.pdf