在您的搜尋 主題建議
Showing 41 - 60 results of 74 for search '"Logic programming"', 查詢時間: 0.03s Refine Results
  1. 41
    The journal of logic programming.
    雜誌
    出版 1984
    主題: “...Logic programming Periodicals....”
    獲取全文
    加到收藏夾
    Saved in:
  2. 42
    Logic programming /
    Conference Proceeding 圖書
    出版 1982
    主題: “...Logic programming....”
    加到收藏夾
    Saved in:
  3. 43
    Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings /
    Conference Proceeding 圖書
    出版 1996
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  4. 44
    Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings /
    Conference Proceeding 圖書
    出版 1993
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  5. 45
    Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
    Conference Proceeding 圖書
    出版 1994
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  6. 46
    Interactive relational database design : a logic programming implementation /
    圖書
    由 Bagchi, Tapan P.
    出版 1989
    主題: “...Logic programming....”
    加到收藏夾
    Saved in:
  7. 47
    Nonmonotonic and inductive logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings /
    Conference Proceeding 圖書
    出版 1991
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  8. 48
    Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  9. 49
    Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings /
    Conference Proceeding 圖書
    出版 1990
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  10. 50
    Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings /
    圖書
    出版 1988
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  11. 51
    Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings /
    圖書
    出版 1992
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  12. 52
    Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings /
    Conference Proceeding 圖書
    出版 1992
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  13. 53
    Proof and computation /
    Conference Proceeding 圖書
    出版 1995
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  14. 54
    Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /
    Conference Proceeding 圖書
    出版 1994
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  15. 55
    Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /
    Conference Proceeding 圖書
    出版 1993
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  16. 56
    From logic design to logic programming : theorem proving techniques and P-functions /
    圖書
    由 Snyers, Dominique, 1959-
    出版 1987
    主題: “...Logic programming....”
    加到收藏夾
    Saved in:
  17. 57
    Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  18. 58
    Cooperating heterogeneous systems /
    圖書
    由 Schwartz, David G.
    出版 1995
    主題: “...Logic programming....”
    加到收藏夾
    Saved in:
  19. 59
    Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings /
    Conference Proceeding 圖書
    出版 1991
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
  20. 60
    Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings /
    Conference Proceeding 圖書
    出版 1993
    主題: “...Logic programming Congresses....”
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索 – 保存搜索