- Artificial intelligence 62
- Inteligencia artificial 62
- Logics and meanings of programs 52
- Software engineering 51
- Lógica y significado de programas 48
- Programming languages 46
- Ingeniería de software 42
- Lenguajes de programación 42
- Analysis of algorithms and problem complexity 41
- Análisis de algoritmos y problemas de complejidad 39
- Mathematical logic 38
- Computer networks 36
- Redes de computadoras 35
- Computation by abstract devices 34
- Lógica matemática 34
- Formal languages 33
- Database management 32
- Deducción y prueba de teoremas 32
- Deduction and theorem proving 32
- Discrete mathematics 32
- Computación mediante dispositivos abstractos 31
- Data encryption 30
- Lenguajes formales 30
- Mathematical logic-Computation 30
- Lógica matemática-Computación 29
- Matemática discreta 28
- Programming techniques 28
- Administrative data processing 27
- Sistemas distribuidos 27
- Coding and information theory 26
-
1
Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
Progress in artificial intelligence : Proceedings / Carlos Pinto-Ferreira, Nuno J. Mamede.
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
3
Advances in case-based reasoning : 2nd european workshop EWCBR'94 Chantilly, France, November 7-10, 1994 Selected papers /
Published 1995“…Lecture notes in computer science…”
Conference Proceeding Book -
4
Topics in artificial intelligence : 4th Conference of the Italian Association for Artificial Intelligence, AI*IA '95, Florence, Italy, October 11-13, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
5
Progress in evolutionary computation : AI'93 and AI'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armidale, NSW, Australia, November...
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
6
Algorithmic learning theory : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
7
Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
8
Conceptual structures: Applications, implementation and theory : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
9
Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
10
KI-95 : Advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
11
Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
12
Case-based reasoning : research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
13
Conceptual structures : Fulfilling Peirce's dream /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
14
Distributed artificial intelligence : architecture and modelling /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
15
Distributed software agents and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
16
Cooperative information agents : first international workshop... /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
17
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 computer science ;…”
Conference Proceeding Book -
18
Machine learning, ECML-97 : / 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
19
KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
20
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book