Su búsqueda retornó 48 resultados.

Ordenar
Resultados
1.
2.
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 .
3.
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, ...
4.
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 .
5.
6.
Foundations of inductive logic programming / Shan-Hwei Nienhuys-Chen, Ronald De Wolf. por Series Lecture notes in computer science ; v. 1228 | 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. 1228 .
7.
Computational intelligence : theory and applications / ed. Bernd Reusch. por Series Lecture notes in computer science ; v. 1226 | LNCS ; v. 1226
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1226 .
8.
9.
10.
11.
12.
13.
14.
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 .
15.
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 .
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.
Algorithmic learning theory / ed. Setsuo Arikawa, Arun K. Sharma. por Series Lecture notes in computer science ; v. 1160 | 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. 1160 .
18.
Conceptual modeling - ER '96 / ed. Bernhard Thalheim. por Series Lecture notes in computer science ; v. 1157 | LNCS ; v. 1157
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1157 .
19.
Types for proofs and programs / edited by Stefano Berardi, Mario Coppo. por Series Lecture notes in computer science ; v. 1158 | LNCS ; v. 1158
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1158 .
20.
Logic in databases / ed. Dino Pedreschi, Carlo Zaniolo. por Series Lecture notes in computer science ; v. 1154 | LNCS ; v. 1154
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1154 .
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)