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 6 of 6
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
theses (doctoral)沢村, 一PROLOGプログラム変換に関する論理学的研究Logical Studies on Prolog Program Transformation--30-Sep-1993
bulletin (article)沢村, 一; 前田, 隆計算機向きの様相論理の公理化An Axiomatization of Computer-Oriented Modal Logics北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University10-Aug-1978
bulletin (article)前田, 隆; 桃内, 佳雄; 沢村, 一学術文献における情報構造 I : 重要語句の自動抽出についてInformation Structure of Scientific Documents I : On an Automatic Extraction of Significant Phrases北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University10-Aug-1978
bulletin (article)桃内, 佳雄; 前田, 隆; 沢村, 一文献情報における階層的な意味構造の分析An Analysis of Hierarchical Semantic Structures in the Documents北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University11-Jul-1977
bulletin (article)前田, 隆; 桃内, 佳雄; 沢村, 一問題解決機構としての文献情報検索システムの構成A Construction of Information Retrieval System as a Problem Solving Machine北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University11-Jul-1977
bulletin (article)Sawamura, Hajime; Maeda, Takashi; Kawaguchi, MichiakiProof Procedure based on Modified Analytic Tableaux-Memoirs of the Faculty of Engineering, Hokkaido University北海道大学工学部紀要Dec-1976
Showing results 1 to 6 of 6

 

Hokkaido University