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.
En este trabajo, estudiamos tipos de datos que poseen un sort consistente en el álgebra de Boole de dos elementos, junto con un test de igualdad eq[sub s](x, y) para cada sort s. A esta clase de tipos de datos se los llama equality - test (ET). Primero probaremos que toda especificación inicial Γ co...
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | Spanish |
| Published: |
[S.l. :
s.n. ],
1999.
|
| Subjects: |