- 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
-
41
Software agents and soft computing : towards enhancing machine intelligence; concepts and applications /
Published 1997“…Lecture notes in computer science ;…”
Book -
42
Foundations of intelligent systems /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
43
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 -
44
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
45
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 -
46
Qualitative and quantitative practical reasoning /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
47
Multi-agent rationality /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
48
Foundations of inductive logic programming /
Published 1997“…Lecture notes in computer science ;…”
Book -
49
Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : Proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
50
Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
51
Advances in case-based reasoning : third European workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
52
Algorithmic learning theory /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
53
Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
54
Fuzzy logic, neural networks and evolutionary computation /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
55
Topics in artificial intelligence : PRICAI '96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
56
Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
57
-
58
Conceptual structures : knowledge representation as interlingua /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
59
Trends in natural language generation : an artificial intelligence perspective : fourth European workshop, EWNLG ’93, Pisa, Italy, April 28-30, 1993 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
60
Agents breaking away /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book