- Deduction and theorem proving 20
- Mathematical logic-Computation
- Deducción y prueba de teoremas 19
- Lógica matemática-Computación 18
- Grammars and other rewriting systems 4
- Gramáticas y otros sistemas de reescritura 4
- Knowledge representation formalisms and methods frames and scripts 4
- Logic programming 4
- Representación del conocimiento, métodos, formas y scripts 4
- Design aids 3
- Artificial intelligence-Learning 2
- Asistencia de diseños 2
- Búsqueda y recuperación de la información 2
- Clasificación de lenguajes 2
- Information search and retrieval 2
- Inteligencia artificial-Aprendizaje 2
- Language classifications 2
- Language constructs and features 2
- Modelos de computación 2
- Models of computation 2
- Program verification 2
- Programación en lógica 2
- Programación-Técnicas 2
- Programming techniques 2
- Semantics of programming languages 2
- Semántica de lenguajes de programación 2
- Administración de base de datos 1
- Algoritmos no numéricos y problemas 1
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
-
1
-
2
Theorem proving with analytic tableaux and related methods /
Published 1996Subjects:Conference Proceeding Book -
3
-
4
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings /
Published 1997Subjects:Conference Proceeding Book -
5
-
6
-
7
-
8
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
9
-
10
-
11
-
12
-
13
-
14
-
15
Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : Proceedings /
Published 1997Subjects:Conference Proceeding Book -
16
Computational intelligence : theory and applications /
Published 1997Subjects:Conference Proceeding Book -
17
-
18
-
19
-
20
Principles and practice of constraint programming, CP96 /
Published 1996Subjects:Conference Proceeding Book