|
Hokkaido University Collection of Scholarly and Academic Papers >
Showing results 1 to 2 of 2
| Type | Author(s) | Title | Other Titles | Citation | Citation(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 University | 31-May-1995 |
Showing results 1 to 2 of 2
|
