Resultados
|
21.
|
|
|
22.
|
|
|
23.
|
|
|
24.
|
Studia logica. por Idioma: Polaco
Detalles de publicación: Dordrecht : Kluwer Academic Publishers
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Studia logica 1 1953.
|
|
25.
|
Lógicas modales con operadores de cambio de accesibilidad / Raúl Alberto Fervari. 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.
Otro título: - Relation-changing modal logics
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C FER.
|
|
26.
|
|
|
27.
|
|
|
28.
|
Optimización de la traducción funcional para lógicas modales / Marcio Díaz. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 15 - 21980.
|
|
29.
|
|
|
30.
|
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / Luke Ong, Ruy de Queiroz, editors. por Series Lecture notes in computer science ; v. 7456 | LNCS ; v. 7456
Detalles de publicación: Berlin : Springer, 2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 7456.
|
|
31.
|
|
|
32.
|
|
|
33.
|
|
|
34.
|
|
|
35.
|
|
|
36.
|
|
|
37.
|
|
|
38.
|
|
|
39.
|
|
|
40.
|
|