Suggested Topics within your search.
Showing 1 - 20 results of 34 for search '"Lecture notes in computer science,"', query time: 0.04s Refine Results
  1. 1
    Time structures : formal description and algorithmic representation /

    Time structures : formal description and algorithmic representation / by Hajnicz, Elzbieta

    Published 1996
    “…Lecture notes in computer science ;…”
    Book
  2. 2
    Distributed artificial intelligence : architecture and modelling /

    Distributed artificial intelligence : architecture and modelling /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  3. 3
    Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings /

    Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  4. 4
    Automated deduction in equational logic and cubic curves /

    Automated deduction in equational logic and cubic curves / by McCune, William, 1953-

    Published 1996
    “…Lecture notes in computer science ;…”
    Book
  5. 5
    Non-monotonic extensions of logic programming /

    Non-monotonic extensions of logic programming /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  6. 6
    Foundations of intelligent systems /

    Foundations of intelligent systems /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  7. 7
    Logic programming and nonmonotonic reasoning /

    Logic programming and nonmonotonic reasoning /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  8. 8
    Qualitative and quantitative practical reasoning /

    Qualitative and quantitative practical reasoning /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  9. 9
    Foundations of inductive logic programming /

    Foundations of inductive logic programming / by Nienhuys-Chen, Shan-Hwei, 1943-

    Published 1997
    “…Lecture notes in computer science ;…”
    Book
  10. 10
    Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : Proceedings /

    Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : Proceedings /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  11. 11
    Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers /

    Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  12. 12
    Algorithmic learning theory /

    Algorithmic learning theory /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  13. 13
    Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /

    Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  14. 14
    Extensions of logic programming /

    Extensions of logic programming /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  15. 15
    Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /

    Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  16. 16
    Practical reasoning /

    Practical reasoning /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  17. 17
    Theorem proving with analytic tableaux and related methods /

    Theorem proving with analytic tableaux and related methods /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  18. 18
    Algebraic logic and universal algebra in computer science /

    Algebraic logic and universal algebra in computer science /

    Published 1990
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  19. 19
    Word equations and related topics /

    Word equations and related topics /

    Published 1992
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  20. 20
    Conditional term rewriting systems /

    Conditional term rewriting systems /

    Published 1993
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book

Search Tools: