Suggested Topics within your search.
Showing 1 - 17 results of 17 for search '"intelligence"', query time: 0.57s Refine Results
  1. 1
    Computational intelligence : theory and applications /

    Computational intelligence : theory and applications /

    Published 1997
    Subjects:
    Conference Proceeding Book
  2. 2
    Handbook of logic in artificial intelligence and logic programming /

    Handbook of logic in artificial intelligence and logic programming /

    Published 1998
    Subjects:
    Book
  3. 3
    Algorithmic learning theory /

    Algorithmic learning theory /

    Published 1996
    Subjects:
    Conference Proceeding Book
  4. 4
    Reasoning with uncertainty in robotics /

    Reasoning with uncertainty in robotics /

    Published 1996
    Subjects: “…Distributed artificial intelligence.…”
    Conference Proceeding Book
  5. 5
    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
    Subjects:
    Conference Proceeding Book
  6. 6
    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Published 2006
    Subjects:
    Conference Proceeding Book
  7. 7
    Computer science logic /

    Computer science logic /

    Published 1997
    Subjects:
    Conference Proceeding Book
  8. 8
    Reasoning with logic programming /

    Reasoning with logic programming / by Alferes, José Júlio, 1966-

    Published 1996
    Subjects:
    Book
  9. 9
    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 artificial intelligence…”
    Conference Proceeding Book
  10. 10
    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 artificial intelligence…”
    Book
  11. 11
    Non-monotonic extensions of logic programming /

    Non-monotonic extensions of logic programming /

    Published 1997
    “…Lecture notes in artificial intelligence…”
    Conference Proceeding Book
  12. 12
    Logic programming and nonmonotonic reasoning /

    Logic programming and nonmonotonic reasoning /

    Published 1997
    “…Lecture notes in artificial intelligence…”
    Conference Proceeding Book
  13. 13
    Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /

    Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /

    Published 1997
    “…Lecture notes in artificial intelligence…”
    Conference Proceeding Book
  14. 14
    Term indexing /

    Term indexing / by Graf, Peter, 1966-

    Published 1995
    “…Lecture notes in artificial intelligence…”
    Book
  15. 15
    Extensions of logic programming /

    Extensions of logic programming /

    Published 1996
    “…Lecture notes in artificial intelligence…”
    Conference Proceeding Book
  16. 16
    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 artificial intelligence…”
    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 artificial intelligence…”
    Conference Proceeding Book

Search Tools: