Su búsqueda retornó 45 resultados.

Ordenar
Resultados
1.
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías / Alejandro Ezequiel Orbe. por
Detalles de publicación: [S.l. : s.n. ], 2014
Nota de disertación: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C ORB.
2.
Implementación eficiente de construcciones de alto nivel para la programación concurrente / Damián Barsotti. por
Detalles de publicación: [S.l. : s.n. ], 2011
Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C BAR.
3.
4.
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 .
5.
6.
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 .
7.
Algorithmic learning theory : Proceedings / ed. Klaus P. Jantke, Takeshi Shinohara. por Series Lecture notes in computer science ; v. 997 | Lecture notes in computer science. Lecture notes in artificial intelligence
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 997 .
8.
9.
10.
11.
12.
13.
14.
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 .
15.
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 .
16.
Reasoning with uncertainty in robotics / ed. Leo Dors, Michiel Lambalgen, Frans Voorbraak. por Series Lecture notes in computer science ; v. 1093 | 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. 1093.
17.
18.
19.
20.
Computer aided verification : proceedindings / ed. Orna Grumberg. por Series Lecture notes in computer science ; v. 1254 | LNCS ; v. 1254
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1254 .
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)