@inproceedings{weko_159617_1,
   author	 = "山本,哲 and Helmut,Prendinger and 石塚,満",
   title	 = "命題レベル高速推論法を利用した述語論理版仮説推論ＨＹＰＥＲシステム",
   booktitle	 = "第60回全国大会講演論文集",
   year 	 = "2000",
   volume	 = "2000",
   number	 = "1",
   pages	 = "65--66",
   month	 = "mar"
}