在您的搜尋 主題建議
Showing 1 - 4 results of 4 for search '', 查詢時間: 0.01s Refine Results
  1. 1
    A parallel logic programming system based on BaLinda Lisp : an implementation of flat guarded horn clasues /
    由 Li, Zhenpeng
    出版 1996
    Thesis 圖書
    加到收藏夾
    Saved in:
  2. 2
    A high-order logic for object-oriented logic programming /
    由 Wee, Boon Tun
    出版 1998
    Thesis 圖書
    加到收藏夾
    Saved in:
  3. 3
    Logic mining in neural networks /
    由 Saratha Sathasivam
    出版 2006
    Thesis 圖書
    加到收藏夾
    Saved in:
  4. 4
    Query proof structure caching for incremental evaluation of tabled PROLOG programs /
    由 Ali, Taher Muhammad
    出版 2013
    獲取全文
    Thesis 圖書
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索