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 1 of 1
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
article (author version)横山, 壱星; 栗原, 正仁優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続きCompletion for Multiple Path Orderings Based on Precedence and Binary Decision Diagrams人工知能学会論文誌-2004
Showing results 1 to 1 of 1


Hokkaido University