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 Constraints in computational logics :
|b first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
|c edited by Jean-Pierre Jouannaud.
260
|a Berlin :
|b Springer,
|c 1994.
300
|a viii, 367 p. :
|b il. ;
|c 24 cm.
490
0
|a Lecture notes in computer science ;
|v v. 845
650
4
|a Lógica y significado de programas.
650
4
|a Lógica matemática.
650
4
|a Lenguajes formales.
650
4
|a Programación-Técnicas.
650
4
|a Deducción y prueba de teoremas.
650
4
|a Representación del conocimiento, métodos, formas y scripts.