- Deducción y prueba de teoremas
- Deduction and theorem proving 3
- Lógica matemática-Computación 2
- Mathematical logic-Computation 2
- Algebraic manipulation 1
- Asistencia de diseños 1
- Automatic programming 1
- Design aids 1
- Formal languages 1
- Grammars and other rewriting systems 1
- Gramáticas y otros sistemas de reescritura 1
- Lenguajes de programación 1
- Lenguajes formales 1
- Logics and meanings of programs 1
- Lógica matemática 1
- Lógica y significado de programas 1
- Manipulación algebraica 1
- Mathematical logic 1
- Program verification 1
- Programación automática 1
- Programming languages 1
- Semantics of programming languages 1
- Semántica de lenguajes de programación 1
- Sistemas con propósito y aplicaciones especiales 1
- Software-Herramientas y técnicas 1
- Software-Tools and techniques 1
- Special-purpose and application based systems 1
- Verificación de programas 1
-
1
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published 1996Conference Proceeding Book -
2
-
3