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.
|a Higher order logic theorem proving and its applications :
|b 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings /
|c ed. E. Thomas Schubert, Phillip J. Windley.
260
|a Berlin :
|b Springer,
|c 1995.
300
|a viii, 400 p. :
|b il. ;
|c 24 cm.
650
4
|a Mathematical logic and foundations.
650
4
|a Lógica matemática y fundamentos.
650
4
|a Automatic programming.
650
4
|a Programación automática.
650
4
|a Theorem-Deduction and proving.
650
4
|a Teoremas-Deducción y demostración.
650
4
|a Diseño lógico.
650
4
|a Logic design.
700
1
|9 15485
|a Schubert, E. Thomas,
|e ed.,
|d 1959-
700
1
|9 18549
|a Windley, Phillip J.,
|e ed.,
|d 1958-
942
|c LIBRO
|2
945
|a AB
945
|a MCR
|d 2012-03-6
490
|a Lecture notes in computer science ;
|v v. 971
|a LNCS ;
|v v. 971