-
1
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /
Published 1997“…International Conference on Typed Lambda Calculi and Applications Nancy, France…”
Conference Proceeding Book
Universidad Nacional de Córdoba
U.N.C.
Catálogo colectivo
El Catálogo Colectivo reúne los registros del material que posee cada una de las bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad. Se encuentra disponible para toda la comunidad académica: estudiantes, docentes, egresados e investigadores. Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material, a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario, independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra que dictes.
Koha
- Facultad de Ciencias Agropecuarias
- Facultad de Ciencias Económicas
- Facultad de Lenguas
- Escuela de Nutrición (FCM)
- Facultad de Arquitectura, Urbanismo y Diseño
- Facultad de Artes
- Facultad de Ciencias Exactas, Físicas y Naturales
- Biblioteca Mayor
- Observatorio Astronómico de Córdoba
- Centros de Estudios Avanzados
- Facultad de Matemáticas, Astronomía, Física y Computación
- Facultad de Medicina
- Facultad de Odontología
- Facultad de Comunicación
- Facultad de Filosofía y Humanidades y Facultad de Psicología
- Escuela Superior de Comercio Manuel Belgrano
- Colegio Nacional de Monserrat
- Facultad de Ciencias Químicas
- Facultad de Ciencias Sociales
- Facultad de Derecho
- José Aricó
- Museo de Antropología
- Escuela de Salud Pública y Ambiente de la FCM