A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
21
(1)
37
(1)
Show More
Show Less
Author
Bonelli, Eduardo
(1)
Fernández, Felipe
(1)
Gómez, Pedro
(1)
Show More
Show Less
Subject
Cálculo
(2)
Calculadoras
(1)
Ciencias Informáticas
(1)
Currículo
(1)
Estrategias
(1)
Explicit substitutions
(1)
Higher-order rewriting
(1)
Lamda calculus
(1)
Needed-strategies
(1)
Normalisation
(1)
Show More
Show Less
Year
1997
(1)
2005
(1)
2019
(1)
2020
(1)
Show More
Show Less
Document Type
Artículo
(1)
Conferencia
(1)
Show More
Show Less
Language
Inglés
(2)
Show More
Show Less
Your search
Language:
Inglés
Subject:
Cálculo tensorial.
Sort by
Score
Title
Year
-
1-2 from
2
results
(0.012 seconds)
Title:
Normalisation for higher-order calculi with explicit substitutions
Author:
Bonelli, Eduardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Explicit substitutions
/
Higher-order rewriting
/
Lamda calculus
/
Needed-strategies
/
Normalisation
/
Normalización
/
Estrategias
/
Cálculo
/
Substituciones explícitas
Acceder
Title:
Graphics calculators use in Precalculus and achievement in Calculus
Author:
Gómez, Pedro
/
Fernández, Felipe
Language:
Inglés
Repository:
21
Subject:
Calculadoras
/
Rendimiento
/
Cálculo
/
Currículo
Acceder
Acceder
« Previous
1
Next »