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
bulletin (article)近藤, 久; 栗原, 正仁; 大内, 東ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続きCompletion with Multiple Reduction Orderings based on ATMS Data Structure北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University29-Oct-1993
theses (doctoral)近藤, 久真偽維持システムを用いた項書換えシステムの推論手続きに関する研究---25-Mar-1994
Showing results 1 to 2 of 2

 

Hokkaido University