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

Logic programming and nonmonotonic reasoning 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /