Refinar su búsqueda

Su búsqueda retornó 110 resultados.

Ordenar
Resultados
61.
Basic category theory for computer scientists / Benjamin C. Pierce. por Series Foundations of computing
Detalles de publicación: Cambridge, Mass. : MIT, 1991
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P615 .
62.
Computational logic : symposium proceedings, Brussels, November 13/14, 1990 / edited by John Wylie Lloyd. por Series ESPRIT basic research series
Detalles de publicación: Berlin : Springer, 1990
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 C736 .
63.
Gödel's incompleteness theorems / Raymond M. Smullyan. por Series Oxford logic guides ; v. 19
Detalles de publicación: New York : Oxford university, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 S666 .
64.
Computing in horn clause theories. por Series EATCS monographs on theoretical computer science ; v. 16
Detalles de publicación: Berlin : Springer, 1988
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P123 .
65.
Basic simple type theory / J. Roger Hindley. por Series Cambridge tracts in theoretical computer science ; 42
Detalles de publicación: Cambridge, UK : Cambridge University, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 H662 .
66.
Theory of logical calculi : basic theory of consequence operators / Ryszard Wójcicki. por Series Synthese library ; v. 199
Detalles de publicación: Dordrecht : Kluwer, 1988
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 W847 .
67.
Handbook of formal languages / edited by Grzegorz Rozenberg, Arto Salomaa. por
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: C F4 H236 v.3, ...
68.
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 .
69.
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 .
70.
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 .
71.
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 .
72.
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 .
73.
74.
75.
76.
Automata implementation / ed. Darrell Raymond, Derick Wood, Sheng Yu. por Series Lecture notes in computer science ; v. 1260 | LNCS ; v. 1260
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1260 .
77.
Rewriting techniques and applications / edited by Hubert Comon. por Series Lecture notes in computer science ; v. 1232 | LNCS ; v. 1232
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1232 .
78.
Logic foundations of computer science / edited by Sergei Adian, Anil Nerode. por Series Lecture notes in computer science ; v. 1234 | LNCS ; v. 1234
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1234 .
79.
80.
New trends in formal languages : control, cooperation and combinatorics / ed. Gheorghe Paun, Arto Salomaa. por Series Lecture notes in computer science ; LNCS ; v. 1218
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1218 .
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)