- Deducción y prueba de teoremas
- Deduction and theorem proving 7
- Representación del conocimiento, métodos, formas y scripts 7
- Knowledge representation formalisms and methods frames and scripts 5
- Logic programming 4
- Lógica matemática-Computación 4
- Mathematical logic-Computation 4
- Formal languages 3
- Lenguajes formales 3
- Logics and meanings of programs 3
- Lógica matemática 3
- Lógica y significado de programas 3
- Mathematical logic 3
- Clasificación de lenguajes 2
- Language classifications 2
- Language constructs and features 2
- Programación-Técnicas 2
- Programming techniques 2
- Semantics of programming languages 2
- Semántica de lenguajes de programación 2
- Artificial intelligence 1
- Artificial intelligence-Learning 1
- Búsqueda y recuperación de la información 1
- Coding and information theory 1
- Concurrent programming 1
- Construcción y características del lenguaje 1
- Information search and retrieval 1
- Inteligencia artificial 1
- Inteligencia artificial-Aprendizaje 1
- Knowledge representation formalisms and method frames and scripts 1
-
1
Extensions of logic programming /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
2
Logic programming and nonmonotonic reasoning /
Published 1997Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
3
Computer science logic /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
4
Computer science logic /
Published 1997Subjects: “…Knowledge representation formalisms and methods frames.…”
Conference Proceeding Book -
5
Reasoning with logic programming /
Published 1996Subjects: “…Knowledge representation formalisms and method frames and scripts.…”
Book -
6
Over-constrained systems /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Book -
7
Principles and practice of constraint programming, CP96 /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book