@techreport{weko_51041_1,
   author	 = "小池,賢一 and 岩沼,宏治",
   title	 = "非決定性プロセスの様相論理式からの多項式時間学習　Shapiroのモデル推論のプロセスへの適用",
   year 	 = "1992",
   institution	 = "山梨大学工学部電子情報工学科, 山梨大学工学部電子情報工学科",
   number	 = "92(1992-ICS-085)",
   month	 = "nov"
}