- Artificial intelligence 129
- Inteligencia artificial 120
- INTELIGENCIA ARTIFICIAL 24
- Mathematical logic-Computation 24
- Lógica matemática-Computación 22
- 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
Generación de expresiones referenciales bajo incertidumbre con teoría de modelos
Published 2016Subjects: Get full text
doctoralThesis -
202
Valuación masiva de la tierra urbana mediante inteligencia artificial el caso de la ciudad de San Francisco, Córdoba, Argentina = Mass appraisal of urban land value using artificial intelligence : the case of San Francisco city, Córdoba, Argentina /
Article -
203
Computational intelligence : theory and applications /
Published 1997Subjects:Conference Proceeding Book -
204
Artificial evolution : European conference, AE '95, Brest, France, September 4-6, 1995 : selected papers /
Published 1996Subjects:Conference Proceeding Book -
205
-
206
Advances in intelligent data analysis : reasoning about data /
Published 1997Subjects:Conference Proceeding Book -
207
Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers /
Published 1996Subjects:Conference Proceeding Book -
208
-
209
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
210
-
211
Procesamiento de imágenes médicas para generación automática de reportes
Published 2019Subjects: Get full text
bachelorThesis -
212
Biological and artificial computation : from neuroscience to technology /
Published 1997Subjects:Conference Proceeding Book -
213
-
214
-
215
Database and expert systems applications : 7th International Conference, DEXA ’96, Zurich, Switzerland, September 9-13, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
216
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
217
Constraint solving y su aplicación práctica a problemas con restricciones
Published 2024Subjects: Get full text
bachelorThesis -
218
-
219
Computational models of learning /.
Published 1987“…Symbolic Computation, Artificial Intelligence…”
Book -
220
Computational models of laerning /
Published 1987“…Symbolic computation: artificial intelligence…”
Book