標題: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 |
摘要 | |
關鍵字 | |
語言 | 英文 |
ISBN | 9783540537090 |
相關連結 | |
SDGs | |