- Artificial intelligence 124
- Inteligencia artificial 111
- 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
- Interfaces 7
-
1
-
2
-
3
-
4
Progress in artificial intelligence : Proceedings / Carlos Pinto-Ferreira, Nuno J. Mamede.
Published 1995Subjects:Conference Proceeding Book -
5
Topics in artificial intelligence : 4th Conference of the Italian Association for Artificial Intelligence, AI*IA '95, Florence, Italy, October 11-13, 1995 : proceedings /
Published 1995Subjects: “…Artificial intelligence.…”
Conference Proceeding Book -
6
Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings /
Published 1995Subjects: “…Artificial intelligence.…”
Conference Proceeding Book -
7
Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings /
Published 1997Subjects:Conference Proceeding Book -
8
Distributed artificial intelligence : architecture and modelling /
Published 1996Subjects:Conference Proceeding Book -
9
Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
10
Topics in artificial intelligence : PRICAI '96 /
Published 1996Subjects:Conference Proceeding Book -
11
Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /
Published 1996Subjects:Conference Proceeding Book -
12
Advances in artificial intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'96 Toronto, Ontario, Canada, May 21-24, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
13
-
14
Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers /
Published 1997Subjects:Conference Proceeding Book -
15
-
16
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
17
Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /
Published 1995Subjects:Conference Proceeding Book -
18
-
19
-
20