Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 73
- Inteligencia artificial 73
- Software engineering 62
- Logics and meanings of programs 58
- Lógica y significado de programas 55
- Programming languages 55
- Ingeniería de software 51
- Lenguajes de programación 51
- Analysis of algorithms and problem complexity 45
- Análisis de algoritmos y problemas de complejidad 43
- Mathematical logic 43
- Computer networks 40
- Formal languages 39
- Lógica matemática 39
- Redes de computadoras 39
- Computation by abstract devices 38
- Deducción y prueba de teoremas 38
- Deduction and theorem proving 37
- Discrete mathematics 37
- Database management 36
- Lenguajes formales 36
- Mathematical logic-Computation 36
- Computación mediante dispositivos abstractos 34
- Data encryption 34
- Lógica matemática-Computación 34
- Sistemas distribuidos 34
- Distributed systems 33
- Matemática discreta 33
- Programming techniques 33
- Administrative data processing 32
-
1
-
2
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 -
3
Time structures : formal description and algorithmic representation /
Published 1996“…Lecture notes in computer science ;…”
Book -
4
Progress in artificial intelligence : Proceedings / Carlos Pinto-Ferreira, Nuno J. Mamede.
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
5
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 -
6
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 -
7
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 -
8
Algorithmic learning theory : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
9
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 -
10
Conceptual structures: Applications, implementation and theory : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
11
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 -
12
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 -
13
Algorithmic learning for knowledge-based systems : GOSLER final report /
Published 1995“…Lecture notes in computer science ;…”
Book -
14
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 -
15
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 -
16
Conceptual structures : Fulfilling Peirce's dream /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
17
Distributed artificial intelligence : architecture and modelling /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
18
Distributed software agents and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
19
Cooperative information agents : first international workshop... /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
20
Automatic ambiguity resolution in natural language processing : an empirical approach /
Published 1996“…Lecture notes in computer science ;…”
Book