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