Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Equational theory
4
First-order rewriting
Higher-order rewriting
Abstracting
2
Artificial intelligence
2
Calculations
2
Computer science
2
Differentiation (calculus)
2
Encoding (symbols)
2
Explicit substitutions
2
Extended abstracts
2
Higher-order
2
Lambda calculus
2
Numerical methods
2
Parameter estimation
2
-
1Publicado 2005Materias: “...First-order rewriting...”
-
2Materias: “...First-order rewriting...”
JOUR -
3
-
4Materias: “...First-order rewriting...”
SER