在您的搜尋 主題建議
Showing 881 - 900 results of 964 for search '"Lecture Notes in Computer Science"', 查詢時間: 0.05s Refine Results
  1. 881
    Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  2. 882
    Algorithmic learning for knowledge-based systems : GOSLER final report /
    圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  3. 883
    Industrial and engineering applications of artificial intelligence and expert systems : 5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992 : proceedings /
    Conference Proceeding 圖書
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  4. 884
    Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings /
    圖書
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  5. 885
    A methodology for uncertainty in knowledge-based systems /
    圖書
    由 Weichselberger, Kurt, 1929-
    出版 1990
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  6. 886
    Knowledge representation and reasoning under uncertainty : logic at work /
    圖書
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  7. 887
    Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  8. 888
    An approach to knowledge base management /
    圖書
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  9. 889
    Nonmonotonic and inductive logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings /
    Conference Proceeding 圖書
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  10. 890
    Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /
    Conference Proceeding 圖書
    出版 1993
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  11. 891
    Analogical and inductive inference : International Workshop AII '92, Dagstuhl Castle, Germany, October 1992 : proceedings /
    Conference Proceeding 圖書
    出版 1992
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  12. 892
    Planning and learning by analogical reasoning /
    圖書
    由 Veloso, Manuela M.
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  13. 893
    Advanced topics in artificial intelligence : 2nd advanced course, ACAI '87, Oslo, Norway, July 28-August 7, 1987 /
    圖書
    出版 1988
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  14. 894
    Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994 : proceedings /
    Conference Proceeding 圖書
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  15. 895
    Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  16. 896
    Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  17. 897
    Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 /
    Conference Proceeding 圖書
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  18. 898
    The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings /
    圖書
    出版 1991
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  19. 899
    Computational learning theory : second European conference, EuroCOLT '95, Barcelona, Spain, March 13-15, 1995 : proceedings /
    Conference Proceeding 圖書
    出版 1995
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
  20. 900
    FM8501, a verified microprocessor /
    圖書
    由 Hunt, Warren A., 1958-
    出版 1994
    “...Lecture notes in computer science ;...”
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索 – 保存搜索