Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 73
- Inteligencia artificial 73
- Software engineering 61
- Logics and meanings of programs 57
- Lógica y significado de programas 53
- Programming languages 53
- Ingeniería de software 50
- Lenguajes de programación 49
- 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
- Deducción y prueba de teoremas 38
- Computation by abstract devices 37
- 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
- Administrative data processing 32
- Programming techniques 32
-
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
Time structures : formal description and algorithmic representation /
Published 1996“…Lecture notes in computer science ;…”
Book -
3
Progress in artificial intelligence : Proceedings / Carlos Pinto-Ferreira, Nuno J. Mamede.
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
4
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 -
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 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
6
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 -
7
Algorithmic learning theory : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
8
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 -
9
Conceptual structures: Applications, implementation and theory : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
10
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 -
11
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 -
12
Algorithmic learning for knowledge-based systems : GOSLER final report /
Published 1995“…Lecture notes in computer science ;…”
Book -
13
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 -
14
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 -
15
Conceptual structures : Fulfilling Peirce's dream /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
16
Distributed artificial intelligence : architecture and modelling /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
17
Distributed software agents and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
18
Cooperative information agents : first international workshop... /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
19
Automatic ambiguity resolution in natural language processing : an empirical approach /
Published 1996“…Lecture notes in computer science ;…”
Book -
20
Dialogue processing in spoken language systems : ECAI'96 workshop, Budapest, Hungary, August 13, 1996 : revised papers /
Published 1997“…Lecture notes in computer science ;…”
Book