- Artificial intelligence 127
- Inteligencia artificial 119
- Mathematical logic-Computation 24
- Lógica matemática-Computación 22
- INTELIGENCIA ARTIFICIAL 21
- Natural language processing 20
- Deducción y prueba de teoremas 17
- Deduction and theorem proving 17
- Artificial intelligence-Learning 16
- Inteligencia artificial-Aprendizaje 16
- Lógica matemática 11
- Distributed systems 10
- Logic programming 10
- Machine learning 10
- Mathematical logic 10
- Procesamiento del lenguaje natural 10
- Programming languages 10
- Sistemas distribuidos 10
- Database management 9
- Ingeniería de software 9
- Neural networks 9
- Software engineering 9
- Computation by abstract devices 8
- Formal languages 8
- Lenguajes formales 8
- Life and medical sciences 8
- Programación en lógica 8
- Artificial Intelligence 7
- Ciencias médicas y de la vida 7
- Computación mediante dispositivos abstractos 7
-
201
-
202
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
203
-
204
Procesamiento de imágenes médicas para generación automática de reportes
Published 2019Subjects: Get full text
bachelorThesis -
205
Biological and artificial computation : from neuroscience to technology /
Published 1997Subjects:Conference Proceeding Book -
206
-
207
-
208
Database and expert systems applications : 7th International Conference, DEXA ’96, Zurich, Switzerland, September 9-13, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
209
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
210
-
211
Computational models of learning /.
Published 1987“…Symbolic Computation, Artificial Intelligence…”
Book -
212
Computational models of laerning /
Published 1987“…Symbolic computation: artificial intelligence…”
Book -
213
Speech and language processing : an introduction to natural language processing, computational linguistics, and speech recognition /
Published 2009“…Prentice Hall series in artificial intelligence…”
Book -
214
-
215
Turtle geometry : The computer as a medium for exploring mathematics /
Published 1980“…The MIT Press series in artificial intelligence…”
Book -
216
Logic for problem solving /
Published 1979“…The Computer Science Library. Artificial Intelligence Series ;…”
Book -
217
Handbook of logic in computer science /
Published 1992“…Handbooks of logic in computer science and artificial intelligence and logic programming…”
Book -
218
Dialogue processing in spoken language systems : ECAI'96 workshop, Budapest, Hungary, August 13, 1996 : revised papers /
Published 1997“…Lecture notes in artificial intelligence…”
Book -
219
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 -
220
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in artificial intelligence…”
Book