Su búsqueda retornó 11 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
No hay imagen de cubierta disponible
2.
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink. por Series Cambridge tracts in theoretical computer science ; 27
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 H587 .
Agregar al carrito
3.
Logics of time and computation / Robert Goldblatt. por Series CSLI lecture notes ; no. 7
Edición: 2a. ed. rev. and expanded.
Detalles de publicación: Stanford, United States : Center for the Study of Language and Information, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 G618 .
Agregar al carrito
4.
Lambda calculi : a guide for computer scientists / Chris Hankin. por Series Graduate texts in computer science ; v. 3
Detalles de publicación: Oxford : Oxford university, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 H241 .
Agregar al carrito
5.
Handbook of theoretical computer science / ed. Jan van Leeuwen. por
Detalles de publicación: Amsterdam : Elsevier, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F0 H236 v.A, ...
Agregar al carrito
6.
Computability, complexity, logic / Egon Börger. por Series Studies in logic and the foundations of mathematics ; v. 128
Detalles de publicación: Amsterdam : North-Holland, 1989
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 B732 .
Agregar al carrito
7.
Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor. por Series Cambridge tracts in theoretical computer science ; 22
Detalles de publicación: Cambridge : Cambridge University, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 S888 .
Agregar al carrito
8.
Extensions of first order logic / María Manzano. por Series Cambridge tracts in theoretical computer science ; 19
Detalles de publicación: Cambridge : Cambridge University, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 M296 .
Agregar al carrito
9.
Epistemic logic for AI and computer science / J-J. CH Meyer, Wiebe van der Hoek. por Series Cambridge tracts in theoretical computer science ; 41
Detalles de publicación: Cambridge, UK : Cambridge University, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4.1 M612 ej.2, ...
Agregar al carrito
10.
The clausal theory of types / D. A. Wolfram. por Series Cambridge tracts in theoretical computer science ; 21
Detalles de publicación: Cambridge, UK : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 W861 .
Agregar al carrito
11.
Mathematics, machines, and Godel's proof / N. Shankar. por Series Cambridge tracts in theoretical computer science ; 38
Detalles de publicación: Cambridge, UK : Cambridge Iniversity, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4.1 S528 ej.2, ...
Agregar al carrito
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)