- Programming languages 83
- Artificial intelligence 81
- Inteligencia artificial 81
- Lenguajes de programación 78
- Mathematical logic 77
- Logics and meanings of programs 74
- Lógica matemática 73
- Software engineering 73
- Formal languages 68
- Lógica y significado de programas 68
- Lenguajes formales 62
- Ingeniería de software 60
- Analysis of algorithms and problem complexity 50
- Análisis numérico 48
- Análisis de algoritmos y problemas de complejidad 47
- Discrete mathematics 45
- Computer networks 43
- Mathematical logic-Computation 43
- FILOSOFIA DE LA CIENCIA 42
- Programming techniques 42
- Redes de computadoras 42
- Computation by abstract devices 41
- Lógica matemática-Computación 41
- Matemática discreta 40
- Deducción y prueba de teoremas 39
- Ecuaciones diferenciales parciales 39
- Database management 38
- Deduction and theorem proving 38
- Numerical analysis 38
- Computación mediante dispositivos abstractos 36
-
21
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 -
22
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 -
23
Conceptual structures : Fulfilling Peirce's dream /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
24
Distributed artificial intelligence : architecture and modelling /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
25
Distributed software agents and applications /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
26
Cooperative information agents : first international workshop... /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
27
Automatic ambiguity resolution in natural language processing : an empirical approach /
Published 1996“…Lecture notes in computer science ;…”
Book -
28
Dialogue processing in spoken language systems : ECAI'96 workshop, Budapest, Hungary, August 13, 1996 : revised papers /
Published 1997“…Lecture notes in computer science ;…”
Book -
29
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 -
30
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in computer science ;…”
Book -
31
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 -
32
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 -
33
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
34
Reasoning with uncertainty in robotics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
35
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 /
Published 1990“…Lecture notes in computer science ;…”
Conference Proceeding Book -
36
Creating personalities for synthetic actors : towards autonomous personality agents /
Published 1997“…Lecture notes in computer science ;…”
Book -
37
Communication and cooperation in agent systems : a pragmatic theory /
Published 1995“…Lecture notes in computer science ;…”
Book -
38
Distributed artificial intelligence meets machine learning : learning in multi-agent environments : ECAI’96 Workshop LDAIS, Budapest, Hungary, August 13, 1996, ICMAS’96 Workshop LI...
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
39
Intelligent agent systems : theoretical and practical issues /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
40
Intelligent agents III : agent theories, architectures, and languages : ECAI’96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book