Methodology for proving the termination of logic programs
學年 79
學期 2
出版（發表）日期 1991-02-01
作品名稱 Methodology for proving the termination of logic programs
作品名稱（其他語言）
著者 Wang, Bal; Shyamasundar, R. K.
單位 淡江大學資訊工程學系
出版者 Berlin: Springer Berlin
著錄名稱、卷期、頁數 Lecture Notes in Computer Science 480: STACS '91, pp.214-227
摘要
關鍵字
語言 en
ISBN 9783540537090
相關連結

機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45565 )

機構典藏連結