Refinar su búsqueda

Su búsqueda retornó 54 resultados.

Ordenar
Resultados
41.
Recursion theory for metamathematics / Raymond M. Smullyan. por Series Oxford logic guides ; v. 22
Detalles de publicación: Oxford : Oxford University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 S666r .
42.
Computation as logic / René Lalement ; translated by John Plaice. por Series Prentice-Hall international series in computer scienceIdioma: Inglés Lenguaje original: Francés
Detalles de publicación: Paris : Masson, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 L194 .
43.
Automata and computability. Dexter C. Kozen. por Series Undergraduate texts in computer science
Detalles de publicación: New York : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 K88 .
44.
The logic of partial information / Areski Nait Abdallah. por Series Monographs in theoretical computer science | EATCS series
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 N159 .
45.
Fuzzy logic for the management of uncertainty / edited by Lotfi Zadeh, Janusz Kacprzyk. por
Detalles de publicación: New York : Wiley J., 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 F996 .
46.
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema. por Series Cambridge tracts in theoretical computer science ; 53
Detalles de publicación: Cambridge, UK : Cambridge University, 2001
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 B628 .
47.
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 .
48.
49.
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 .
50.
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 .
51.
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 .
52.
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 .
53.
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.
54.
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 .
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)