北海道大学学位論文目録データベース 検索結果

Search results

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

1 items found.

  1. Charles,Harold,Jordan (ジョーダン,チャールズ,ハロルド)
    2. https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=en&ACCN=2012030170
    Title in Japanese一階述語論理の検査可能・不可能なサブクラスについて
    Title in EnglishTestable and Untestable Classes of First-Order Logic
    Year of conferral of degrees2011
    Type of degree / Kind of academic degree1（課程博士） / 094（博士(情報科学)）
    Report number10420
    Date of conferral of degrees2012-03-22
    The primary examiner / A deputy examinerZeugmann,Thomas / 有村,博紀 湊,真一
    Location
    Call number
    Comment
    Summary10420_jordan.pdf