2024-05-182024-05-1811172https://scholars.lib.ntu.edu.tw/handle/123456789/718196Automated DeductionLogic in Computer ScienceDigital Libraries and Archives自動推理程式語言邏輯人工智慧數位圖書館與博物館