HyLib 整合性圖書館自動化系統
借閱次數: 0

Logic programming and nonmonotonic reasoning 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings /