JIEH HSIANG2018-09-102018-09-101996http://ntur.lib.ntu.edu.tw/handle/246246/8252http://scholars.lib.ntu.edu.tw/handle/123456789/323337用０階邏輯中之推論方法解決數學問題report