搜尋
  1. 首頁
  2. 系所成員
  3. 兼任師資
    年度83
    論文名稱A methodology for proving termination of logic programs
    全部作者汪柏; Wang, Bal; Shyamasundar, R. K.
    卷數Journal of logic programming 21(1), pp.1-30
    ISSN(ISBN)0743-1066
    使用語言
    備註期刊論文

    本網站著作權屬於淡江大學 資訊工程學系，請詳見 使用規則 。

    網頁維護人員 : 鄭朝剛

    地圖資訊 MAP

    聯絡資訊 CONTACT

    • 電話( 02 ) 2621-5656，分機 : 2616，2665
    • E-mail: teix@oa.tku.edu.tw
    • 傳真: ( 02 ) 2620-9749
    • 地址: 25137新北市淡水區英專路151號工學大樓E646
    • 個資政策 | 隱私權政策

    建議最佳瀏覽 Microsoft IE 10 以上/Google Chrome/Mozilla Firefox 或相容W3C網頁標準之瀏覽器