Su búsqueda retornó 5 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
No hay imagen de cubierta disponible
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías / Alejandro Ezequiel Orbe. por
Detalles de publicación: [S.l. : s.n. ], 2014
Nota de disertación: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C ORB.
Agregar al carrito
2.
No hay imagen de cubierta disponible
Lógicas modales con operadores de cambio de accesibilidad / Raúl Alberto Fervari. por
Detalles de publicación: [S.l. : s.n. ], 2014
Nota de disertación: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
Otro título:
  • Relation-changing modal logics
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C FER.
Agregar al carrito
3.
No hay imagen de cubierta disponible
Variedades con congruencias factor ecuacionalmente definibles / Badano, Mariana. por
Detalles de publicación: [S.l. : s.n. ], 2012
Nota de disertación: Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T M B132.
Agregar al carrito
4.
No hay imagen de cubierta disponible
Type-Checking and normalisation by evaluation for dependent type systems / Miguel M. Pagano. por
Detalles de publicación: [S.l. : s.n. ], 2012
Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C PAG.
Agregar al carrito
5.
No hay imagen de cubierta disponible
Congruencias factor definibles / Pedro Octavio Sánchez Terraf. por
Detalles de publicación: [S.l. : s.n. ], 2007
Nota de disertación: Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2007.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: Tesis Doctorado Matemática CAJA 5 - 18578, ...
Agregar al carrito
Páginas


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)