Suggested Topics within your search.
Showing 201 - 220 results of 265 for search '(("artificial intelligence") OR ("artificial inteligencia"))', query time: 0.07s Refine Results
  1. 201
    Computer aided systems theory - CAST'94 /

    Computer aided systems theory - CAST'94 /

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

    Computer science logic /

    Published 1997
    Subjects:
    Conference Proceeding Book
  4. 204
    Procesamiento de imágenes médicas para generación automática de reportes

    Procesamiento de imágenes médicas para generación automática de reportes by Garay, Lucas Gonzalo

    Published 2019
    Subjects:
    Get full text
    bachelorThesis
  5. 205
    Biological and artificial computation : from neuroscience to technology /

    Biological and artificial computation : from neuroscience to technology /

    Published 1997
    Subjects:
    Conference Proceeding Book
  6. 206
    Advances in database-technology - EDBT'96 /

    Advances in database-technology - EDBT'96 /

    Published 1996
    Subjects:
    Conference Proceeding Book
  7. 207
    Reasoning with logic programming /

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

    Published 1996
    Subjects:
    Book
  8. 208
    Database and expert systems applications : 7th International Conference, DEXA ’96, Zurich, Switzerland, September 9-13, 1996 : proceedings /

    Database and expert systems applications : 7th International Conference, DEXA ’96, Zurich, Switzerland, September 9-13, 1996 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  9. 209
    Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /

    Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  10. 210
    Logic for problem solving /

    Logic for problem solving / by Kowalski, Robert, 1941-

    Published 1979
    “…Artificial intelligence series ;…”
    Book
  11. 211
    Computational models of learning /.

    Computational models of learning /.

    Published 1987
    “…Symbolic Computation, Artificial Intelligence…”
    Book
  12. 212
    Computational models of laerning /

    Computational models of laerning / by Leonard Bolc

    Published 1987
    “…Symbolic computation: artificial intelligence…”
    Book
  13. 213
    Speech and language processing : an introduction to natural language processing, computational linguistics, and speech recognition /

    Speech and language processing : an introduction to natural language processing, computational linguistics, and speech recognition / by Jurafsky, Daniel, 1962-

    Published 2009
    “…Prentice Hall series in artificial intelligence…”
    Book
  14. 214
    ANSI Common Lisp /

    ANSI Common Lisp / by Graham, Paul, 1964-

    Published 1996
    “…Prentice Hall series in artificial intelligence…”
    Book
  15. 215
    Turtle geometry : The computer as a medium for exploring mathematics /

    Turtle geometry : The computer as a medium for exploring mathematics / by Abelson, Harold, 1947-

    Published 1980
    “…The MIT Press series in artificial intelligence…”
    Book
  16. 216
    Logic for problem solving /

    Logic for problem solving / by Kowalski, Robert

    Published 1979
    “…The Computer Science Library. Artificial Intelligence Series ;…”
    Book
  17. 217
    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
  18. 218
    Dialogue processing in spoken language systems : ECAI'96 workshop, Budapest, Hungary, August 13, 1996 : revised papers /

    Dialogue processing in spoken language systems : ECAI'96 workshop, Budapest, Hungary, August 13, 1996 : revised papers /

    Published 1997
    “…Lecture notes in artificial intelligence…”
    Book
  19. 219
    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
  20. 220
    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

Search Tools: