Suggested Topics within your search.
Showing 1 - 11 results of 11 for search '"intelligence"', query time: 0.23s Refine Results
  1. 1
    Formal methods in artificial intelligence /

    Formal methods in artificial intelligence / by Ramsay, Allan, 1953-

    Published 1991
    Subjects:
    Book
  2. 2
    Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida

    Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida

    Published 1998
    Book
  3. 3
    Gödel, Escher, Bach : an eternal golden braid /

    Gödel, Escher, Bach : an eternal golden braid / by Hofstadter, Douglas R., 1945-

    Published 1979
    Subjects:
    Book
  4. 4
    Gödel, Escher, Bach : un eterno y grácil bucle /

    Gödel, Escher, Bach : un eterno y grácil bucle / by Hofstadter, Douglas R., 1945-

    Published 2007
    Subjects:
    Book
  5. 5
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1997
    Subjects:
    Conference Proceeding Book
  6. 6
    Perspectives of system informatics /

    Perspectives of system informatics /

    Published 1996
    Subjects:
    Conference Proceeding Book
  7. 7
    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
  8. 8
    Computer science logic /

    Computer science logic /

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

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

    Published 1996
    Subjects:
    Book
  10. 10
    Handbook of logic in computer science /

    Handbook of logic in computer science /

    Published 1992
    “…Handbooks of logic in computer science and artificial intelligence and logic programming…”
    Book
  11. 11
    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

Search Tools: