Record Citations :: Catalogo Colectivo UNC

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.

Fuentes de datos

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

Otros

APA (7th ed.) Citation

Chlipala, A. (2013). Certified programming with dependent types: A pragmatic introduction to the Coq proof assistant. MIT.

Chicago Style (17th ed.) Citation

Chlipala, Adams. Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. Massachusetts: MIT, 2013.

MLA (9th ed.) Citation

Chlipala, Adams. Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. MIT, 2013.

Warning: These citations may not always be 100% accurate.