教師資料查詢 | 類別: 專書單篇 | 教師: 汪 柏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
摘要
關鍵字
語言英文
ISBN9783540537090
相關連結
SDGs
Google+ 推薦功能,讓全世界都能看到您的推薦!