期刊論文
學年 | 87 |
---|---|
學期 | 1 |
出版(發表)日期 | 1999-01-01 |
作品名稱 | A VDM approach to continuation-based semantics of prolog |
作品名稱(其他語言) | |
著者 | 施國琛; Shih, Timothy K.; 葛煥昭; Keh, H. C.; Lin, Yule-chyun |
單位 | 淡江大學資訊工程學系 |
出版者 | Bratislava : VEDA |
著錄名稱、卷期、頁數 | Computers and artificial intelligence 18(5), pp.485-508 |
摘要 | |
關鍵字 | |
語言 | en |
ISSN | 0232-0274 |
期刊性質 | |
收錄於 | |
產學合作 | |
通訊作者 | |
審稿制度 | |
國別 | |
公開徵稿 | |
出版型式 | |
相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45401 ) |