在您的搜尋 主題建議
Showing 1 - 4 results of 4 for search '', 查詢時間: 0.02s Refine Results
  1. 1
    A knowledge based system for machine tool replacement /
    由 Mohd. Amin Abd. Majid
    出版 1993
    Thesis 圖書
    加到收藏夾
    Saved in:
  2. 2
    Computational lexicography : constructing a lexical database in prolog /
    由 Ooi, Beng Yeow
    出版 1987
    Thesis 圖書
    加到收藏夾
    Saved in:
  3. 3
    Probe : a formal specification-based testing system /
    Thesis 圖書
    加到收藏夾
    Saved in:
  4. 4
    Query proof structure caching for incremental evaluation of tabled PROLOG programs /
    由 Ali, Taher Muhammad
    出版 2013
    獲取全文
    Thesis 圖書
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索