- Grammars and other rewriting systems 5
- Gramáticas y otros sistemas de reescritura 5
- Mathematical logic-Computation
- Deducción y prueba de teoremas 4
- Deduction and theorem proving 4
- Lógica matemática-Computación 4
- Formal languages 2
- Lenguajes formales 2
- Applicative programming 1
- Artificial intelligence-Applications and expert systems 1
- Data structures 1
- Estructura de datos 1
- Estudios de construcción de programas 1
- Inteligencia artificial-Aplicaciones y sistemas expertos 1
- Languages and systems 1
- Lenguajes de programación-Definiciones formales y teoría 1
- Lenguajes y sistemas 1
- Logic programming 1
- Logica matemática-Computación 1
- Procesadores 1
- Processors 1
- Programación aplicativa 1
- Programación en lógica 1
- Programming languages-Formal definitions and theory 1
- Semantics. Sintax 1
- Semántica. Sintaxis 1
- Studies of program constructs 1
-
1
-
2
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
3
-
4
-
5
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book