在您的搜寻 主题建议
Showing 1 - 4 results of 4 for search '', 查询时间: 0.03s 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订阅 — 推荐此搜索 — 保存搜索