@inproceedings{weko_119334_1, author = "近藤,朗子 and 石塚,満", title = "述語論理知識ベースに適用できる高速仮説推論システム", booktitle = "全国大会講演論文集", year = "1990", volume = "第41回", number = "人工知能及び認知科学", pages = "33--34", month = "sep" }