教師資料查詢 | 類別: 專書單篇 | 教師: 汪　柏WANG, BAL (瀏覽個人網頁)

標題：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
相關連結	機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45565 )
SDGs

Google+ 推薦功能，讓全世界都能看到您的推薦！