Resultados
|
261.
|
|
|
262.
|
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings / ed. Matthias Baaz, Johann A. Makowsky. por Series Lecture notes in computer science ; v. 2803 | LNCS ; v. 2803
Detalles de publicación: Berlin : Springer, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 2803 .
|
|
263.
|
|
|
264.
|
|
|
265.
|
|
|
266.
|
|
|
267.
|
|
|
268.
|
|
|
269.
|
|
|
270.
|
|
|
271.
|
|
|
272.
|
|
|
273.
|
|
|
274.
|
|
|
275.
|
|
|
276.
|
|
|
277.
|
Hacia un asistente de demostración basado en PTS / Alejandro Sánchez ; dir. por Daniel Fridlender. por
Detalles de publicación: [S.l. : s.n.], 2007
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática Astronomía y Física, 2007.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: TE C SAN ej.2, ... Ítems disponibles para referencia: FaMAF: No para préstamo (1)Signatura topográfica: TE C SAN.
|
|
278.
|
Congruencias factor definibles / Pedro Octavio Sánchez Terraf. por
Detalles de publicación: [S.l. : s.n. ], 2007
Nota de disertación: Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2007.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: Tesis Doctorado Matemática CAJA 5 - 18578, ...
|
|
279.
|
|
|
280.
|
Tópicos en teoría de preservación / Pedro Octavio Sánchez Terraf. por
Detalles de publicación: [S.l. : s.n. ], 2001
Nota de disertación: Tesis (Lic. en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2001.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE M S211 ej.2, ...
|