@inproceedings{weko_237494_1,
   author	 = "山田,敏哉 and 奥居,哲 and 井田,哲雄",
   title	 = "完備化手続きに基づくプログラミング",
   booktitle	 = "第32回プログラミング・シンポジウム報告集",
   year 	 = "1991",
   volume	 = "1991",
   number	 = "",
   month	 = "jan"
}