Artículo
|
A normalisation result for higher-order calculi with explicit substitutions :
|
Bonelli, Eduardo
|
(2003)
|
|
----------
|
Tesis
|
Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
|
Sottile, Cristian
|
(2020)
|
|
----------
|
Libro
|
Calculus: Volumen I : Introducción, con vectores y geometría analítica
|
Apostol, Tom M.
|
(1965)
|
Domicilio
|
----------
|
Libro
|
Calculus I: cálculo con funciones de una variable, con una introducción al Álgebra Lineal
|
Apostol, Tom M.
|
[2a ed.], reimp.
(c1984 (reimp. 2009))
|
Domicilio
|
|
Libro
|
Calculus II: cálculo con funciones de varias variables y Álgebra Lineal, con aplicaciones para ecuaciones diferenciales y probabilidad
|
Apostol, Tom M.
|
[2a ed.], reimp.
(c1984 (reimp. 2010))
|
Domicilio
|
|
Artículo
|
Correspondence assertions for process synchronization in concurrent communications :
|
Bonelli, Eduardo
|
(2005)
|
|
----------
|
Libro
|
Cálculo: una variable
|
Thomas, George B.
|
11a ed.
(2006)
|
Domicilio
|
----------
|
Libro
|
Cálculo: Varias variables
|
Thomas, George B.
|
(2006)
|
Domicilio
Sala
|
----------
|
Libro
|
Cálculo:
|
Purcell, Edwin J.
|
9a ed.
(2007)
|
Domicilio
|
----------
|
Libro
|
Cálculo: tomo 2
|
Smith, Robert T.
|
1a ed.
(2001)
|
Domicilio
|
----------
|