陳顯武2019-11-132019-11-131996https://scholars.lib.ntu.edu.tw/handle/123456789/431342法律理論與邏輯程式化journal article