- Artificial intelligence 1
- Coding and information theory 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Formal languages 1
- Inteligencia artificial 1
- Knowledge representation formalisms and methods frames 1
- Lenguajes formales 1
- Logics and meanings of programs
- Lógica matemática 1
- Lógica y significado de programas 1
- Mathematical logic 1
- Representación del conocimiento, métodos, formas y scripts 1
- Teoría de códigos y de la información 1
-
1
Computer science logic /
Published 1997Subjects: “…Knowledge representation formalisms and methods frames.…”
Conference Proceeding Book