Su búsqueda retornó 49 resultados.

Ordenar
Resultados
1.
2.
Word equations and related topics / ed. Klaus Ulrich Schulz. por Series Lecture notes in computer science ; v. 572 | LNCS ; v. 572
Detalles de publicación: Berlin : Springer, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 572 .
3.
4.
5.
Conditional term rewriting systems / ed. Michaël Rusinowitch, Jean-Luc Rémy. por Series Lecture notes in computer science ; v. 656 | LNCS ; v. 656
Detalles de publicación: Berlin : Springer, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 656 .
6.
Distributed artificial intelligence : architecture and modelling / ed. Chenqi Zhang, Dickson Lukose. por Series Lecture notes in computer science ; v. 1087 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1087 .
7.
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 .
8.
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 .
9.
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 .
10.
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, ...
11.
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 .
12.
13.
Automated deduction in equational logic and cubic curves / William McCune, Ranganathan Padmanabhan. por Series Lecture notes in computer science ; v. 1095 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1095 .
14.
Non-monotonic extensions of logic programming / ed. Jürgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski. por Series Lecture notes in computer science ; v. 1216 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1216 .
15.
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 .
16.
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 .
17.
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, ...
18.
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 .
19.
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, ...
20.
Foundations of intelligent systems / ed. Zbigniew Ras, Andrzej Skowron. por Series Lecture notes in computer science ; v. 1325 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1325 .
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)