Hokkaido University Collection of Scholarly and Academic Papers >
Showing results 21 to 25 of 25
Type | Author(s) | Title | Other Titles | Citation | Citation(alt) | Issue Date | article | 木藤, 浩之; 栗原, 正仁; 片上, 大輔; 新田, 克己 | 対立の弁証法的解決に向けた妥協的推論の形式化 | Formalizing Reasoning for Compromise toward Dialectical Conflict Resolution | 人工知能学会論文誌 | - | 2010 |
bulletin (article) | 浜松, 芳夫; 栗原, 正仁; 加地, 郁夫 | 待ち台数と待ち回数を制限したPRTにおける車両待ち時間 | The Waiting Time of Vehicles in a PRT Merging Section with the Restriction of Both the Number of Waiting Vehicles and the Waiting Time | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 31-Jan-1985 |
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 |
bulletin (article) | 栗原, 正仁; 中田, 勝啓; 加地, 郁夫 | 点追従制御方式をとる個別輸送システムCVSの運行シミュレータ | CVS Network Simulator for Personal Rapid Transit systems under Point-follower Control | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 30-Nov-1981 |
article (author version) | 横山, 壱星; 栗原, 正仁 | 優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き | Completion for Multiple Path Orderings Based on Precedence and Binary Decision Diagrams | 人工知能学会論文誌 | - | 2004 |
Showing results 21 to 25 of 25
|