Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CURRY-HOWARD ISOMORPHISM
4
ISOMORFISMO DE CURRY-HOWARD
4
LOGIC
4
LOGICA
4
LOGICA CUANTICA
4
QUANTUM LOGIC
4
ALGEBRAS LIBRES
2
ANALISIS AUTOMATICO
2
AUDITED COMPUTATIONS
2
AUTOMATED REASONING
2
AUTOMATIC ANALYSIS
2
AXIOMATIZACION
2
AXIOMATIZATION
2
BL-ALGEBRAS
2
BUSINESS PROCESS
2
BYTECODE
2
CALCULO LAMBDA
2
CALCULO-λ
2
CLASSICAL LOGIC
2
COINDUCTIVE MODELS
2
COMBINATORY LOGIC
2
COMPUTACIONES AUDITADAS
2
CONJUNTO CONVEXO DE ESTADOS
2
CONSTRUCTIVE LOGIC
2
CONVEX SET OF STATES
2
CURRY-HOWARD
2
DECIDABILITY
2
DECIDIBILIDAD
2
DECISION METHODS
2
DECLASSIFICATION
2
-
1por Busaniche, ManuelaMaterias: “...LOGICAS DIFUSAS...”
Publicado 2003
Tesis doctoral publishedVersion -
2
-
3por Regis, Germán EnriqueMaterias: “...LOGICAS TEMPORALES...”
Publicado 2014
Tesis doctoral publishedVersion -
4
-
5
-
6
-
7por Steren, GabrielaMaterias: “...LOGICA COMBINATORIA...”
Publicado 2014
Tesis doctoral publishedVersion -
8
-
9por Gorín, Daniel AlejandroMaterias: “...LOGICAS HIBRIDAS...”
Publicado 2009
Tesis doctoral publishedVersion -
10
-
11
-
12
-
13por Losada, Marcelo AdriánMaterias: “...LOGICA CUANTICA...”
Publicado 2016
Tesis doctoral publishedVersion -
14
-
15por Holik, Federico HernánMaterias: “...LOGICA CUANTICA...”
Publicado 2010
Tesis doctoral publishedVersion -
16
-
17por Milicich, MarianaMaterias: “...PROGRAMACION LOGICA...”
Publicado 2022
Tesis de grado publishedVersion -
18
-
19por Bavera, Francisco PedroMaterias: “...LOGICA DE JUSTIFICACION...”
Publicado 2012
Tesis doctoral publishedVersion -
20