- Deducción y prueba de teoremas 2
- Deduction and theorem proving 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
- Automatic programming 1
- BIBLIOGRAFIA 1
- Brezis Haim 1
- Browder Felix 1
- CATÁLOGOS COLECTIVOS 1
- Calculo de variaciones 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
- Lógica matemática 1
- Lógica matemática-Computación 1
- Manipulación algebraica 1
- Mathematical logic 1
- Mathematical logic-Computation 1
- Programación automática 1
- Programming languages 1
- Semantics of programming languages 1
-
1
-
2
-
3
-
4
-
5
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published 1996Conference Proceeding Book