- Búsqueda y recuperación de la información 1
- Clasificación de lenguajes 1
- Construcción y características del lenguaje 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Information search and retrieval 1
- Knowledge representation formalisms and methods frames and scripts 1
- Language classifications 1
- Language constructs and features 1
- Lógica matemática-Computación 1
- Mathematical logic-Computation 1
- Problem solving, control methods, and search backtracking 1
- Programación-Técnicas 1
- Programming techniques 1
- Representación del conocimiento, métodos, formas y scripts 1
- Semantics of programming languages 1
- Semántica de lenguajes de programación 1
-
1
Principles and practice of constraint programming, CP96 /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book