Su búsqueda retornó 88 resultados.

Resultados
	81.	Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti. por Cantone, Domenico Omodeo, Eugenio Policriti, Alberto Series Monographs in computer science Detalles de publicación: New York : Springer, 2001 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C G2 C212 . Agregar al carrito (remover)
	82.	Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes. por Parkes, Alan P Detalles de publicación: London : Springer, 2002 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P235 . Agregar al carrito (remover)
	83.	Information algebras : generic structures for inference / Jürg Kohlas. por Kohlas, Jürg, 1939- Series Discrete mathematics and theoretical computer science Detalles de publicación: London : Springer, 2003 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 K791 . Agregar al carrito (remover)
	84.	Nonmonotonic reasoning : logical foundations of commonsense / Gerhard Brewka. por Brewka, Gerhard, 1955- Series Cambridge tracts in theoretical computer science ; 12 Detalles de publicación: Cambridge : Cambridge University, 1991 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 B828 . Agregar al carrito (remover)
	85.	Trends in logic : 50 years of studia logica / edited by Vicent F. Hendricks, Jacek Malinowski. por Hendricks, Vicent F [ed.] Malinowski, Jacek [ed.] Series Trends in logic ; v. 21 Detalles de publicación: Dordrecht : Kluwer, 2003 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 T794 . Agregar al carrito (remover)
	86.	Logic, induction and sets / Thomas E. Forster. por Forster, Thomas E, 1948- Series London Mathematical Society student texts ; v. 56 Detalles de publicación: Cambridge : Cambridge University, 2003 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 F754. Agregar al carrito (remover)
	87.	Derivation and computation : taking the Curry-Howard correspondence seriously / por Simmons, Harold Series Cambridge tracts in theoretical computer science ; 51 Detalles de publicación: Cambridge : Cambridge University, 2000 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 S592 . Agregar al carrito (remover)
	88.	No hay imagen de cubierta disponible Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos / Fernando Martín Pastawski. por Pastawski, Fernando Martín, 1982- Barthe, Gilles, 1967- [dir.] Fridlender, Daniel Edgardo, 1964- [dir.] Detalles de publicación: [S.l. : s.n.], 2005 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, 2005. Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE C PAS ej.2, ... Agregar al carrito (remover)

Nuestras Redes Sociales

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)