- Representación del conocimiento, métodos, formas y scripts
- Deducción y prueba de teoremas 9
- Knowledge representation formalisms and methods frames and scripts 8
- Deduction and theorem proving 7
- Lenguajes formales 6
- Lógica matemática 5
- Lógica matemática-Computación 5
- Lógica y significado de programas 5
- Mathematical logic-Computation 5
- Formal languages 4
- Logic programming 4
- Database management 3
- Information systems applications 3
- Language classifications 3
- Lenguajes de programación y software 3
- Logics and meanings of programs 3
- Mathematical logic 3
- Programación-Técnicas 3
- Programming languages and software 3
- Administración de base de datos 2
- Administrative data processing 2
- Aplicaciones de los sistemas de información 2
- Artificial intelligence-Learning 2
- Clasificación de lenguajes 2
- Inteligencia artificial-Aprendizaje 2
- Knowledge representation formalisms and method frames and scripts 2
- Language constructs and features 2
- Procesamiento de datos administrativos 2
- Programming techniques 2
- Semantics of programming languages 2
-
1
Graph grammars and their application to computer science /
Published 1996Conference Proceeding Book -
2
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 /
Published 1990Conference Proceeding Book -
3
-
4
-
5
-
6
Database and expert systems applications : 7th International Conference, DEXA ’96, Zurich, Switzerland, September 9-13, 1996 : proceedings /
Published 1996Conference Proceeding Book -
7
-
8
-
9
-
10
-
11
-
12
Advances in knowledge acquisition : 9th European Knowledge Acquisition Workshop, EKAW ’96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings /
Published 1996Conference Proceeding Book -
13
OOER'95 : object-oriented and entity-relationship modeling /
Published 1995Conference Proceeding Book -
14
-
15