- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Formal languages 1
- Knowledge representation formalisms and methods frames and scripts 1
- Logic programming 1
- Logics and meanings of programs 1
- Lógica matemática 1
- Lógica matemática-Computación 1
- Lógica y significado de programas 1
- Mathematical logic 1
- Mathematical logic-Computation 1
- Procesadores-Arquitectura 1
- Programación en lógica 1
- Representación del conocimiento, métodos, formas y scripts 1
- Sistemas con propósito y aplicación especial 1
- Special-purpose and application-based systems 1
- y lenguajes formales 1
-
1
Logic programming and nonmonotonic reasoning /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
Hybrid systems IV /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
3
Logic foundations of computer science /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book