Suggested Topics within your search.
Showing 881 - 900 results of 964 for search '"Lecture Notes in Computer Science"', query time: 0.05s Refine Results
  1. 881
    Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
    Conference Proceeding Book
    Published 1995
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  2. 882
    Algorithmic learning for knowledge-based systems : GOSLER final report /
    Book
    Published 1995
    “…Lecture notes in computer science ;…”
    Save to List
    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 Book
    Published 1992
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  4. 884
    Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings /
    Book
    Published 1992
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  5. 885
    A methodology for uncertainty in knowledge-based systems /
    Book
    by Weichselberger, Kurt, 1929-
    Published 1990
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  6. 886
    Knowledge representation and reasoning under uncertainty : logic at work /
    Book
    Published 1994
    “…Lecture notes in computer science ;…”
    Save to List
    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 Book
    Published 1995
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  8. 888
    An approach to knowledge base management /
    Book
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  9. 889
    Nonmonotonic and inductive logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings /
    Conference Proceeding Book
    Published 1991
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  10. 890
    Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /
    Conference Proceeding Book
    Published 1993
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  11. 891
    Analogical and inductive inference : International Workshop AII '92, Dagstuhl Castle, Germany, October 1992 : proceedings /
    Conference Proceeding Book
    Published 1992
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  12. 892
    Planning and learning by analogical reasoning /
    Book
    by Veloso, Manuela M.
    Published 1994
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  13. 893
    Advanced topics in artificial intelligence : 2nd advanced course, ACAI '87, Oslo, Norway, July 28-August 7, 1987 /
    Book
    Published 1988
    “…Lecture notes in computer science ;…”
    Save to List
    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 Book
    Published 1994
    “…Lecture notes in computer science ;…”
    Save to List
    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 Book
    Published 1995
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  16. 896
    Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings /
    Conference Proceeding Book
    Published 1995
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  17. 897
    Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 /
    Conference Proceeding Book
    Published 1991
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  18. 898
    The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings /
    Book
    Published 1991
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  19. 899
    Computational learning theory : second European conference, EuroCOLT '95, Barcelona, Spain, March 13-15, 1995 : proceedings /
    Conference Proceeding Book
    Published 1995
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
  20. 900
    FM8501, a verified microprocessor /
    Book
    by Hunt, Warren A., 1958-
    Published 1994
    “…Lecture notes in computer science ;…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search