- Deducción y prueba de teoremas 3
- Deduction and theorem proving 3
- Lógica matemática-Computación 2
- Mathematical logic-Computation 2
- Algebraic manipulation 1
- Algebras y anillos no asociativos 1
- Analysis on manifolds 1
- Análisis en variedades 1
- Análisis funcional 1
- Análisis global 1
- Asistencia de diseños 1
- Automatic programming 1
- Brezis Haim 1
- Browder Felix 1
- Calculo de variaciones 1
- Design aids 1
- Formal languages 1
- Geometría diferencial 1
- Global analysis 1
- Grammars and other rewriting systems 1
- Gramáticas y otros sistemas de reescritura 1
- Grupos de Lie 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
-
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
-
4
-
5