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