Refinar su búsqueda

Su búsqueda retornó 280 resultados.

Ordenar
Resultados
181.
Semirings, automata, languages / Werner Kuich, Arto Salomaa. por Series EATCS monographs on theoretical computer science ; v. 5
Detalles de publicación: Berlin : Springer, 1986
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 K96 .
182.
Formal methods in artificial intelligence / Allan Ramsay. por Series Cambridge tracts in theoretical computer science ; 6
Detalles de publicación: Cambridge, UK : Cambridge University, 1991
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 R178 .
183.
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 .
184.
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 .
185.
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 .
186.
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 .
187.
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 .
188.
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 .
189.
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, ...
190.
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 .
191.
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 .
192.
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 .
193.
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 .
194.
Éléments de mathématique : les structures fundamentales de l'analyse / Nicolas Bourbaki. por Series Actualités scientifiques et industrielles ; no. 1141
Edición: 3a. ed.
Detalles de publicación: Paris : Hermann, 1958
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: M 03 B766 e3 , ...
195.
Set theory / Felix Hausdorff ; translated from the German by John R. Aumann, et al. por
Detalles de publicación: New York : Chelsea, 1957
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: M 03 H376 , ...
196.
197.
Models and sets : part 1 / ed. Gert H. Müller, Michael M. Richter. por Series Lecture notes in mathematics ; v. 1103 | LNM ; v. 1103
Detalles de publicación: Berlin : Springer, 1984
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M LNM v. 1103 .
198.
Techniques of admissible recursion theory / Chi-Tat Chong. por Series Lecture notes in mathematics ; v. 1106 | LNM ; v. 1106
Detalles de publicación: Berlin : Springer, 1984
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M LNM v. 1106 .
199.
200.
The calculi of symbolic logic I / ed. V. P. Orevkov. por Series Proceedings of the Steklov Institute of Mathematics ; no. 98 | STEKLO ; no. 98
Detalles de publicación: Providence : American Mathematical Society, 1971
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AMS STEKLO no. 98 .
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)