關鍵字查詢 | 類別:專書單篇 | | 關鍵字:Towards a characterization of termination of logic programs

[第一頁][上頁]1[次頁][最末頁]目前在第 1 頁 / 共有 01 筆查詢結果
序號 學年期 教師動態
1 78/1 資工系 汪 柏 副教授 專書單篇 發佈 Towards a characterization of termination of logic programs , [78-1] :Towards a characterization of termination of logic programs專書之單篇Towards a characterization of termination of logic programs汪柏; Wang, Bal; Shyamasundar, R. K.淡江大學資訊工程學系Heidelberg: Springer BerlinLecture Notes in Computer Science 456, pp.204-221tku_id: 000055391;Made available in DSpace on 2010-03-26T11:37:42Z (GMT). No. of bitstreams: 0;20120919-補正完成by Xiao&#x0D; 原專書,改為單篇en9783540530107;9783540462989DEU<links><record><name>機構典藏連結</name><url>http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45596</url></record></links>
[第一頁][上頁]1[次頁][最末頁]目前在第 1 頁 / 共有 01 筆查詢結果