陳顯武2010-08-072018-06-282010-08-072018-06-281996http://ntur.lib.ntu.edu.tw//handle/246246/190907en-US法律理論與邏輯程式化journal article