Refinar su búsqueda

Su búsqueda retornó 280 resultados.

Ordenar
Resultados
261.
Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings / ed. Wei-Ngan Chin. por Series Lecture notes in computer science ; v. 3302 | LNCS ; v. 3302
Detalles de publicación: Berlin : Springer, 2004
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 3302 .
262.
263.
Isabelle/HOL : a proof assistant for higher order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. por Series Lecture Notes in Computer Science, LNCS ; v. 2283
Detalles de publicación: Berlin : Springer, 2002
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2283 .
264.
265.
266.
Formal methods at the crossroads : from panacea to foundational support / ed. Bernhard K. Aichernig, Thomas S. E. Maibaum. por Series Lecture notes in computer science, LNCS ; v. 2757
Detalles de publicación: Berlin : Springer, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2757 .
267.
Basic proof theory / Anne Sjerp Troelstra, Helmut Schwichtenberg. por Series Cambridge tracts in theoretical computer science ; 43
Edición: 2a. ed.
Detalles de publicación: Cambridge : Cambridge University, 2000
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 T843 .
268.
269.
Handbook of logic and proof techniques for computer science / Steven George Krantz. por
Detalles de publicación: Boston : Birkhäuser, 2002
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 K891 .
270.
Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes. por
Detalles de publicación: London : Springer, 2002
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P235 .
271.
Information algebras : generic structures for inference / Jürg Kohlas. por 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 .
272.
Nonmonotonic reasoning : logical foundations of commonsense / Gerhard Brewka. por 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 .
273.
Trends in logic : 50 years of studia logica / edited by Vicent F. Hendricks, Jacek Malinowski. por 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 .
274.
Logic, induction and sets / Thomas E. Forster. por 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.
275.
Derivation and computation : taking the Curry-Howard correspondence seriously / por 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 .
276.
Mathematics unlimited - 2001 and beyond / Björn Engquist, Wilfried Schmid editors. por
Detalles de publicación: Berlin : Springer, 2001
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 00 M433 .
277.
Hacia un asistente de demostración basado en PTS / Alejandro Sánchez ; dir. por Daniel Fridlender. por
Detalles de publicación: [S.l. : s.n.], 2007
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, 2007.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: TE C SAN ej.2, ... Ítems disponibles para referencia: FaMAF: No para préstamo (1)Signatura topográfica: TE C SAN.
278.
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, ...
279.
Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos / Fernando Martín Pastawski. por
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, ...
280.
Tópicos en teoría de preservación / Pedro Octavio Sánchez Terraf. por
Detalles de publicación: [S.l. : s.n. ], 2001
Nota de disertación: Tesis (Lic. en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2001.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE M S211 ej.2, ...
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)