登入
搜尋
回首頁
淡江大學首頁
網站地圖
English
高中生專區
系所介紹
系所介紹與沿革
系所簡介
教育目標
品質屋
系友園地
傑出系友
實驗室介紹
CAE實驗室
專題實驗室
特色空間
最新消息
系所公告
榮譽榜
競賽資訊
就業資訊
獎學金公告
演講公告
系所成員
系主任
歷屆系主任
專任師資
專任助教
兼任師資
行政人員
課程介紹
學士班
課程設計
課程特色
修業資訊
下載專區
企業實習專區
程式能力檢定專區
新生專區
全英語學士班
課程設計
課程特色
修業資訊
全大三出國
下載專區
進修學士班
課程資訊
碩士班
修業資訊
下載專區
博士班
修業資訊
下載專區
碩士在職專班
學分學程
工程教育認證
大學部核心能力
研究所核心能力
工程教育認證證書
多元專長培力課程
資工週歷年資訊
108年資工週資訊
109年資工週資訊
110年資工週資訊
111年資工週活動
彈性學制
彈性學制
下載專區
獎學金
其它
七系聯展
國際交流
交換生
雙聯學位
學術研究
無線存取暨聯網技術
人工智慧與產業技術實驗室
人工智慧暨影像處理
雲端與服務計算
行動系統實驗室
個別化智慧通訊與複雜網路
電腦視覺與機器學習實驗室
ADML Lab
新生專區
新生專區
首頁
系所成員
兼任師資
系主任
專任師資
專任助教
兼任師資
行政人員
年度
79
等級
書名
Methodology for proving the termination of logic programs
出版社
Berlin: Springer Berlin
全部作者
Wang, Bal; Shyamasundar, R. K.
出版日期
1991-02-01
ISSN(ISBN)
9783540537090
所屬計畫案
Methodology for proving the termination of logic programs
備註
專書單篇
Top