- 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
-
41
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 -
42
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 -
43
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 -
44
Algorithmic learning theory /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
45
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 -
46
Fuzzy logic, neural networks and evolutionary computation /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
47
Topics in artificial intelligence : PRICAI '96 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
48
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 -
49
-
50
Conceptual structures : knowledge representation as interlingua /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
51
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 -
52
Agents breaking away /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
53
Intelligent agents II : agent theories, architectures and languages : JCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
54
Connectionist, statistical, and symbolic approaches to learning for natural language processing /
Published 1996“…Lecture notes in computer science ;…”
Book -
55
Adaption and learning in multi-agent systems / IJCAI '95 workshop, Montréal, Canada, August 21, 1995 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
56
-
57
Extensions of logic programming /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
58
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
59
Practical reasoning /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
60
Evaluating natural language processing systems : an analysis and review /
Published 1995“…Lecture notes in computer science ;…”
Book