Limitar la búsqueda a ejemplares disponibles
Guardar los marcados Guardar todos de la página Guardar en Mis Listas
MATERIAS ESPAÑOL (1-2 de 2)
Cálculo de Lambda -- Congresos
1

Cubierta del libro
Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and
International Conference on Typed Lambda Calculi and Applications (2nd : 1995 : Edinburgo, Escocia)
Berlin ; New York : Springer-Verlag,

MAT. IMPRESO
1995
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 902    PRÉSTAMO LARGO  DISPONIBLE
2

Cubierta del libro
Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and
International Conference on Typed Lambda Calculi and Applications (3rd : 1997 : Nancy, France)
Berlin ; New York : Springer-Verlag,

MAT. IMPRESO
1997
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 1210    PRÉSTAMO LARGO  DISPONIBLE
Guardar los marcados Guardar todos de la página
Localizar en resultados