- Deduction and theorem proving 41
- Deducción y prueba de teoremas 39
- Lógica matemática 28
- Matemática 28
- Mathematical logic 28
- Mathematical logic-Computation 20
- Lógica matemática-Computación 18
- Formal languages 17
- Lenguajes formales 17
- Lógica y significado de programas 15
- Logics and meanings of programs 14
- Análisis funcional 13
- Teoría de números 12
- Number theory 11
- Logic programming 10
- Geometría algebraica 9
- Lenguajes de programación 9
- Probabilidad 9
- Análisis en variedades 8
- Design aids 8
- Grupos de Lie 8
- Lie groups 8
- Procesos estocásticos 8
- Program verification 8
- Programming languages 8
- TEOREMAS 8
- Algebraic geometry 7
- Análisis global 7
- Differential geometry 7
- Representación del conocimiento, métodos, formas y scripts 7
-
1
-
2
-
3
-
4
-
5
-
6
The implicit function theorem : history, theory and applications /
Published 2002Subjects: Table of contents
Publisher description
Book -
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20