Towards a characterization of termination of logic programs
學年 78
學期 1
出版（發表）日期 1990-01-01
作品名稱 Towards a characterization of termination of logic programs
作品名稱（其他語言）
著者 汪柏; Wang, Bal; Shyamasundar, R. K.
單位 淡江大學資訊工程學系
出版者 Heidelberg: Springer Berlin
著錄名稱、卷期、頁數 Lecture Notes in Computer Science 456, pp.204-221
摘要
關鍵字
語言 en
ISBN 9783540530107 9783540462989
相關連結

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

機構典藏連結