專書單篇
學年 | 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 ) |