Query proof structure caching for incremental evaluation of tabled PROLOG programs /

Query proof structure caching for incremental evaluation of tabled PROLOG programs /

Saved in:
書目詳細資料
主要作者: Ali, Taher Muhammad
格式: Thesis 圖書
語言:English
出版: 2013.
主題:
Artificial intelligence > Data processing.
Prolog (Computer program language)
Logic programming.
在線閱讀:http://studentsrepo.um.edu.my/id/eprint/5604
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
實物特徵
實物描述:xvii, 195 leaves : ill. ; 30 cm.
Issued also in CD.
參考書目:Bibliography: leaves 151-156.

相似書籍