Refinar su búsqueda

Su búsqueda retornó 280 resultados.

Ordenar
Resultados
21.
A logical introduction to proof / Daniel W. Cunningham. por
Detalles de publicación: New York : Springer, 2013
Disponibilidad: No disponible:FaMAF: Prestado (1).
22.
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.
23.
Representaciones globales para cuasivariedades de congruencias relativas distributivas / Mauro Schilman. por
Detalles de publicación: [S.l. : s.n. ], 2015
Nota de disertación: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 18 - 22227.
24.
Studia logica. por Idioma: Polaco
Detalles de publicación: Dordrecht : Kluwer Academic Publishers
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Studia logica 1 1953.
25.
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
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C FER.
26.
Estudio de semántica categórica para lenguajes Algol-Like / Alejandro Emilio Gadea. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 17 - 22063.
27.
Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings / Masahito Hasegawa (ed.). por Series Lecture notes in computer science ; v. 7941 | LNCS ; v. 7941
Detalles de publicación: Berlin : Springer, 2013
Otro título:
  • TLCA 2013
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 7941.
28.
Optimización de la traducción funcional para lógicas modales / Marcio Díaz. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 15 - 21980.
29.
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.
30.
31.
Conceptual mathematics : a first introduction to categories / F. William Lawvere, Stephen Hoel Schanuel. por
Edición: 2a ed.
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 L425.
32.
Category theory / Steve Awodey. por Series Oxford logic guides ; v. 52
Edición: 2a ed.
Detalles de publicación: Oxford ; New York : Oxford University, 2011
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 A967.
33.
34.
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.
35.
No determinismo completamente medible en procesos probabilisticos continuos / Carlos Esteban Budde. por
Detalles de publicación: [S.l. : s.n. ], 2012
Nota de disertación: Tesis (Lic. 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: Trabajo Especial Computación CAJA 12 - 21383.
36.
Introducción a la metamatemática / Stephen Cole Kleene. por Series Estructura y función ; v. 42
Detalles de publicación: Madrid : Tecnos, 1974
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 K639in.
37.
The Notre Dame lectures / edited by Peter Cholak. Series Lecture notes in logic ; v. 18
Detalles de publicación: Wellesley, Massachusetts. : Association for Symbolic Logic. ASL, c2005
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 N914.
38.
39.
Algorithmic randomness and complexity / Rodney G. Downey, Denis Roman Hirschfeldt. por Series Theory and applications of computability
Detalles de publicación: New York : Springer, c2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 D74.
40.
Theory of decision under uncertainty / Itzhak Gilboa. por Series Econometric Society monographs ; v. 45
Detalles de publicación: Cambridge ; New York : Cambridge University, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 G466.
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)