使用邏輯程式來處理常識推論
學年 83
學期 2
計畫案開始日期 1995-02-01
計畫案結束日期 1995-07-31
計畫主持人姓名 洪文斌
共同主持人姓名一
共同主持人姓名二
共同主持人姓名三
計畫中文名稱 使用邏輯程式來處理常識推論