HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 2 of 2
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
theses (doctoral)能登, 正人書換え系の性質の形式的検証に関する研究---25-Mar-1996
bulletin (article)能登, 正人; 栗原, 正仁; 大内, 東抽象書換え系理論による講座配属アルゴリズムの完備性と解析Analysis of Completeness of Laboratory Assignment Algorithm by Abstract Reduction Systems Theory北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University31-May-1995
Showing results 1 to 2 of 2


Hokkaido University