@inproceedings{weko_126011_1,
   author	 = "森広,浩一郎 and 池田,満 and 溝口,理一郎",
   title	 = "論理式証明戦略の形成支援のための助言タイプについて",
   booktitle	 = "全国大会講演論文集",
   year 	 = "1994",
   volume	 = "第49回",
   number	 = "情報科学一般",
   pages	 = "39--40",
   month	 = "sep"
}