- 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
-
21
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 -
22
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in computer science ;…”
Book -
23
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 -
24
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 -
25
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
26
Reasoning with uncertainty in robotics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
27
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 /
Published 1990“…Lecture notes in computer science ;…”
Conference Proceeding Book -
28
Creating personalities for synthetic actors : towards autonomous personality agents /
Published 1997“…Lecture notes in computer science ;…”
Book -
29
Communication and cooperation in agent systems : a pragmatic theory /
Published 1995“…Lecture notes in computer science ;…”
Book -
30
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 -
31
Intelligent agent systems : theoretical and practical issues /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
32
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 -
33
Software agents and soft computing : towards enhancing machine intelligence; concepts and applications /
Published 1997“…Lecture notes in computer science ;…”
Book -
34
Foundations of intelligent systems /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
35
Principles of data mining and knowledge discovery : First European Symposium, PKDD ’97, Trondheim, Norway, June 24-27, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
36
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
37
Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
38
Qualitative and quantitative practical reasoning /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
39
Multi-agent rationality /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
40
Foundations of inductive logic programming /
Published 1997“…Lecture notes in computer science ;…”
Book