- Mathematical logic-Computation
- Lógica matemática-Computación 34
- Deduction and theorem proving 20
- Deducción y prueba de teoremas 19
- Artificial intelligence 10
- Inteligencia artificial 10
- Logic programming 7
- Grammars and other rewriting systems 5
- Gramáticas y otros sistemas de reescritura 5
- Knowledge representation formalisms and methods frames and scripts 5
- Programación en lógica 5
- Representación del conocimiento, métodos, formas y scripts 5
- Administración de base de datos 4
- Búsqueda y recuperación de la información 4
- Database management 4
- Information search and retrieval 4
- Artificial intelligence-Applications and expert systems 3
- Design aids 3
- Formal languages 3
- Inteligencia artificial-Aplicaciones y sistemas expertos 3
- Language constructs and features 3
- Lenguajes formales 3
- Programación-Técnicas 3
- Programming techniques 3
- Aplicaciones de los sistemas de información 2
- Applicative programming 2
- Artificial intelligence-Learning 2
- Asistencia de diseños 2
- Ciencias físicas e ingeniería 2
- Clases de complejidad 2
-
1
Time structures : formal description and algorithmic representation /
Published 1996“…Lecture notes in computer science ;…”
Book -
2
Distributed artificial intelligence : architecture and modelling /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
3
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 -
4
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in computer science ;…”
Book -
5
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
6
Foundations of intelligent systems /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
7
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
8
Qualitative and quantitative practical reasoning /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
9
Foundations of inductive logic programming /
Published 1997“…Lecture notes in computer science ;…”
Book -
10
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 -
11
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 -
12
Algorithmic learning theory /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
13
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 -
14
-
15
Extensions of logic programming /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
16
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 -
17
Practical reasoning /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
18
Theorem proving with analytic tableaux and related methods /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
19
Algebraic logic and universal algebra in computer science /
Published 1990“…Lecture notes in computer science ;…”
Conference Proceeding Book -
20
Word equations and related topics /
Published 1992“…Lecture notes in computer science ;…”
Conference Proceeding Book