Refinar su búsqueda

Su búsqueda retornó 280 resultados.

Ordenar
Resultados
1.
Decidability and Boolean representatios / Stanley Burris and Ralph McKenzie. por Series Memoirs of the American Mathematical Society ; no.246 | MEMO ; 246Idioma: Inglés
Detalles de publicación: Providence : American Mathematical Society, 1981
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AMS MEMO no. 246.
2.
Representación semántica de lenguaje natural en el dominio de fórmulas lógicas / Diego Piloni. por
Detalles de publicación: [S.l. : s.n. ], 2018
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 23 - 23419.
3.
Type-driven development with Idris / Edwin Brady. por
Detalles de publicación: New York : Manning Publications, 2017
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 B812.
4.
Introducción al simbolismo lógico / Jorge Bosch. por Series Ediciones previas. Lógica
Edición: 3a ed.
Detalles de publicación: Buenos Aires : EUDEBA, 1967
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 B742e3.
5.
6.
Sixteen papers on logic and algebra / by V. A. Baranskiĭ ... [et al.]. por Series Translations. Series 2 ; v. 94 | TRANS2 ; v. 94
Detalles de publicación: Providence, Rhode Island : American Mathematical Society, 1970
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: AMS TRANS2 v. 94.
7.
Introducción a la lógica / Irving M. Copi. por Series Manuales de EUDEBA. Filosofía
Edición: 5a. ed.
Detalles de publicación: Buenos Aires : EUDEBA, 1967
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C783e5.
8.
Introducción a la lógica / Irving M. Copi. por Series Manuales de EUDEBA. Filosofía
Edición: 1a. ed.
Detalles de publicación: Buenos Aires : EUDEBA, 1962
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 C783.
9.
Semantics engineering with PLT Redex / Matthias Felleisen, Robert Bruce Findler, Matthew Flatt. por
Detalles de publicación: Cambridge, Mass. : MIT Press, c2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 F318.
10.
Aplicaciones de álgebra universal al reticulado de Post / Maico C. Leberle. por
Detalles de publicación: [S.l. : s.n. ], 2017
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 21 - 22870.
11.
The Works of Antonio A. Monteiro [recurso electrónico] / edited by Eduardo L. Ortiz and Alfredo Pereira Gomes ; presentation by Jean-Pierre Kahane. por
Detalles de publicación: Lisbon : Fundação Calouste Gulbenkian ; ; London : The Humboldt Press, 2008
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 W926.
12.
Archiv für mathematische Logik und Grundlagenforschung / Hans Hermes, Jürgen von Kempski, Kurt Schütte. por Idioma: gereng
Detalles de publicación: Stuttgart : W. Kohlhammer Verlag, 1950-1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 H553.
13.
Computable structures and the hyperarithmetical hierarchy / C.J. Ash, J. Knight. por Series Studies in logic and the foundations of mathematics ; v. 144
Edición: 1st ed.
Detalles de publicación: Amsterdam ; New York : Elsevier, 2000
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 A819.
14.
An introduction to bisimulation and coinduction / Davide Sangiorgi. por
Detalles de publicación: Cambridge ; New York : Cambridge University, c2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 S195.
15.
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten. por Series Cambridge tracts in theoretical computer science ; 52
Detalles de publicación: Cambridge ; New York : Cambridge University, 2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 A244t.
16.
Software abstractions : logic, language and analysis / Daniel Jackson. por
Edición: Ed. rev.
Detalles de publicación: Cambridge, Massachusetts : MIT, c2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 J12.
17.
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I Soare. por Series Perspectives in mathematical logic
Detalles de publicación: Berlin : Springer, 1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 S676.
18.
19.
Modeling and analysis of communicating systems / Jan Friso Groote and Mohammad Reza Mousavi. por
Detalles de publicación: Massachusetts : MIT, 2014
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2.4 G876.
20.
Self-reference / edited by Thomas Bolander, Vincent F. Hendricks, and Stig Andur Pedersen. por Series CSLI lecture notes ; no. 178
Detalles de publicación: Stanford, California : Center for the Study of Language and Information, c2006
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 S465.
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)