- Deducción y prueba de teoremas 11
- Deduction and theorem proving
- Mathematical logic-Computation 9
- Lógica matemática-Computación 8
- Logic programming 3
- Grammars and other rewriting systems 2
- Gramáticas y otros sistemas de reescritura 2
- Knowledge representation formalisms and methods frames and scripts 2
- Programación en lógica 2
- Representación del conocimiento, métodos, formas y scripts 2
- Artificial intelligence-Learning 1
- Computational geometry and object modeling 1
- Distributed artificial intelligence 1
- Geometría computacional y modelado de objetos 1
- Inteligencia artificial distribuida 1
- Inteligencia artificial-Aprendizaje 1
- Logica matemática-Computación 1
- Lógica matemática 1
- Mathematical logic 1
- Natural language processing 1
- Patrones-Reconocimiento. Modelos 1
- Pattern recognition. Models 1
- Procesamiento del lenguaje natural 1
- Robotics 1
- Robótica 1
- Vision and scene understanding 1
- Visión y comprensión de la escena 1
-
1
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. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
2
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Book -
3
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
4
Reasoning with uncertainty in robotics /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
5
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
6
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. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
7
Algorithmic learning theory /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
8
Term indexing /
Published 1995“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Book -
9
Extensions of logic programming /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
10
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. Lecture notes in artificial intelligence…”
Conference Proceeding Book -
11
Theorem proving with analytic tableaux and related methods /
Published 1996“…Lecture notes in computer science. Lecture notes in artificial intelligence…”
Conference Proceeding Book