Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Explicit substitutions
Higher-order rewriting
3
Abstracting
2
Differentiation (calculus)
2
Encoding (symbols)
2
Equational theory
2
First-order rewriting
2
Numerical methods
2
Parameter estimation
2
Theorem proving
2
Ciencias Informáticas
1
Cálculo
1
Estrategias
1
Lamda calculus
1
Needed-strategies
1
Normalisation
1
Normalización
1
Substituciones explícitas
1
-
1
-
2
-
3
-
4
-
5