關鍵字查詢 | 類別:專書單篇 | 著者 | 關鍵字:Shyamasundar

[第一頁][上頁]1[次頁][最末頁]目前在第 1 頁 / 共有 02 筆查詢結果
序號 學年期 教師動態
1 78/1 資工系 汪 柏 副教授 專書單篇 發佈 Towards a characterization of termination of logic programs , [78-1] 著者:汪柏; Wang, Bal; Shyamasundar, R. K.
2 79/2 資訊系 汪 柏 副教授 專書單篇 發佈 Methodology for proving the termination of logic programs , [79-2] 著者:Wang, Bal; Shyamasundar, R. K.
[第一頁][上頁]1[次頁][最末頁]目前在第 1 頁 / 共有 02 筆查詢結果