- Deduction and theorem proving
- Deducción y prueba de teoremas 36
- Mathematical logic-Computation 20
- Lógica matemática-Computación 18
- Lógica matemática 13
- Mathematical logic 13
- Formal languages 11
- Lenguajes formales 11
- Logics and meanings of programs 10
- Lógica y significado de programas 10
- Lenguajes de programación 7
- Logic programming 7
- Programming languages 7
- Representación del conocimiento, métodos, formas y scripts 7
- Design aids 5
- Knowledge representation formalisms and methods frames and scripts 5
- Asistencia de diseños 4
- Automatic programming 4
- Grammars and other rewriting systems 4
- Gramáticas y otros sistemas de reescritura 4
- Program verification 4
- Programación automática 4
- Programación en lógica 4
- Semantics of programming languages 4
- Semántica de lenguajes de programación 4
- Special-purpose and application-based systems 4
- Algebraic manipulation 3
- Analysis of algorithms and problem complexity 3
- Análisis de algoritmos y problemas de complejidad 3
- Artificial intelligence 3
-
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 ;…”
Conference Proceeding Book -
2
Automated deduction in equational logic and cubic curves /
Published 1996“…Lecture notes in computer science ;…”
Book -
3
Non-monotonic extensions of logic programming /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
4
Reasoning with uncertainty in robotics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
5
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in computer science ;…”
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 ;…”
Conference Proceeding Book -
7
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 -
8
Algorithmic learning theory /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
9
-
10
-
11
Extensions of logic programming /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
12
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 -
13
Theorem proving with analytic tableaux and related methods /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
14
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006“…Lecture notes in computer science ;…”
Conference Proceeding Book -
15
Algebraic and logic programming /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
16
Word equations and related topics /
Published 1992“…Lecture notes in computer science ;…”
Conference Proceeding Book -
17
Conditional term rewriting systems /
Published 1993“…Lecture notes in computer science ;…”
Conference Proceeding Book -
18
Algebraic methodology and software technology /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
19
Algebraic methodology and software technology /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
20
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book