- Deducción y prueba de teoremas 17
- Deduction and theorem proving
- Mathematical logic-Computation 11
- Lógica matemática-Computación 10
- Logic programming 5
- Artificial intelligence 4
- Inteligencia artificial 4
- Lógica matemática 4
- Mathematical logic 4
- Representación del conocimiento, métodos, formas y scripts 4
- Artificial intelligence-Learning 3
- Inteligencia artificial-Aprendizaje 3
- Programación en lógica 3
- Formal languages 2
- Grammars and other rewriting systems 2
- Gramáticas y otros sistemas de reescritura 2
- Knowledge representation formalisms and methods frames and scripts 2
- Lenguajes de programación 2
- Lenguajes formales 2
- Logics and meanings of programs 2
- Lógica y significado de programas 2
- Modelos de computación 2
- Models of computation 2
- Programming languages 2
- Algoritmos no numéricos y problemas 1
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- Asistencia de diseños 1
- Ciencias físicas e ingeniería 1
- Coding and information theory 1
-
1
Computational intelligence : theory and applications /
Published 1997Subjects:Conference Proceeding Book -
2
-
3
-
4
Reasoning with uncertainty in robotics /
Published 1996Subjects: “…Distributed artificial intelligence.…”
Conference Proceeding Book -
5
Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : Proceedings /
Published 1997Subjects:Conference Proceeding Book -
6
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
7
-
8
-
9
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 artificial intelligence…”
Conference Proceeding Book -
10
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in artificial intelligence…”
Book -
11
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
12
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
13
Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
Published 1997“…Lecture notes in artificial intelligence…”
Conference Proceeding Book -
14
-
15
Extensions of logic programming /
Published 1996“…Lecture notes in artificial intelligence…”
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 artificial intelligence…”
Conference Proceeding Book -
17
Theorem proving with analytic tableaux and related methods /
Published 1996“…Lecture notes in artificial intelligence…”
Conference Proceeding Book