- Formal languages 4
- Lenguajes formales
- Representación del conocimiento, métodos, formas y scripts 4
- Deducción y prueba de teoremas 3
- Deduction and theorem proving 3
- Logics and meanings of programs 3
- Lógica matemática 3
- Lógica y significado de programas 3
- Mathematical logic 3
- Knowledge representation formalisms and method frames and scripts 2
- Algebraic manipulation-Expresions and their representation 1
- Artes y humanidades 1
- Artificial intelligence 1
- Artificial intelligence-Learning 1
- Ciencias médicas y de la vida 1
- Coding and information theory 1
- Grammars and other rewriting systems 1
- Gramáticas y otros sistemas de reescritura 1
- Inteligencia artificial 1
- Inteligencia artificial-Aprendizaje 1
- Knowledge representation formalisms and methods frames 1
- Knowledge representation formalisms and methods frames and scripts 1
- Lenguajes de programación 1
- Lenguajes de programación y software 1
- Life and medical sciences 1
- Logic programming 1
- Manipulación algebraica-Expresiones y representación 1
- Pattern Recongnition-Models 1
- Programming languages 1
- Programming languages and software 1
-
1
Computer science logic /
Published 1996Subjects: “…Knowledge representation formalisms and methods frames and scripts.…”
Conference Proceeding Book -
2
Computer science logic /
Published 1997Subjects: “…Knowledge representation formalisms and methods frames.…”
Conference Proceeding Book -
3
Graph grammars and their application to computer science /
Published 1996Subjects: “…Knowledge representation formalisms and method frames and scripts.…”
Conference Proceeding Book -
4
Reasoning with logic programming /
Published 1996Subjects: “…Knowledge representation formalisms and method frames and scripts.…”
Book