- Artificial intelligence 3
- Inteligencia artificial 3
- Mathematical logic-Computation 3
- Lógica matemática-Computación 2
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Formal languages 1
- Lenguajes formales 1
- Logic programming 1
- Logics and meanings of programs 1
- Lógica matemática 1
- Lógica matemática-Computacion 1
- Lógica y significado de programas 1
- Mathematical logic 1
- Programación en lógica 1
- Semantics of programming languages 1
- Semántica de lenguajes de programación 1
-
1
Qualitative and quantitative practical reasoning /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
Practical reasoning /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
3
Handbook of logic in artificial intelligence and logic programming /
Published 1998“…Oxford science publications…”
Book -
4
Elementary logics : a procedural perspective /
Published 1998“…Prentice-Hall series in computer science…”
Book -
5
Handbook of logic in computer science /
Published 1992“…Handbooks of logic in computer science and artificial intelligence and logic programming…”
Book