Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CURRY-HOWARD ISOMORPHISM
4
EXPRESSIVITY
4
ISOMORFISMO DE CURRY-HOWARD
4
LOGICA CUANTICA
4
QUANTUM LOGIC
4
ALGEBRAS LIBRES
2
ANALISIS AUTOMATICO
2
AUDITED COMPUTATIONS
2
AUTOMATA
2
AUTOMATED REASONING
2
AUTOMATIC ANALYSIS
2
AXIOMATIZACION
2
AXIOMATIZATION
2
BISIMULATION
2
BL-ALGEBRAS
2
BRANCHING COUNTER SYSTEMS
2
BUSINESS PROCESS
2
BYTECODE
2
CALCULO LAMBDA
2
COINDUCTIVE MODELS
2
COMBINATORY LOGIC
2
COMPUTACIONES AUDITADAS
2
COMPUTATIONAL COMPLEXITY
2
CONJUNTO CONVEXO DE ESTADOS
2
CONVEX SET OF STATES
2
DATA-AWARE LOGICS
2
DECIDABILITY
2
DECIDIBILIDAD
2
DECISION METHODS
2
DECLASSIFICATION
2
-
1por Abriola, Sergio AlejandroMaterias: “...DATA-AWARE LOGICS...”
Publicado 2017
Tesis doctoral publishedVersion -
2por Abriola, Sergio AlejandroMaterias: “...DATA-AWARE LOGICS...”
Publicado 2017
Tesis doctoral publishedVersion -
3por Busaniche, ManuelaMaterias: “...FUZZI LOGICS...”
Publicado 2003
Tesis doctoral publishedVersion -
4por Busaniche, ManuelaMaterias: “...FUZZI LOGICS...”
Publicado 2003
Tesis doctoral publishedVersion -
5por Regis, Germán EnriqueMaterias: “...TEMPORAL LOGICS...”
Publicado 2014
Tesis doctoral publishedVersion -
6por Regis, Germán EnriqueMaterias: “...TEMPORAL LOGICS...”
Publicado 2014
Tesis doctoral publishedVersion -
7por Steren, GabrielaMaterias: “...COMBINATORY LOGIC...”
Publicado 2014
Tesis doctoral publishedVersion -
8por Steren, GabrielaMaterias: “...COMBINATORY LOGIC...”
Publicado 2014
Tesis doctoral publishedVersion -
9por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
10por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
11por Vecchietti, Aldo RodomiroMaterias: “...Logic programming...”
Publicado 2009
Aportado por: Biblioteca Virtual - Tesis (UNL)Tesis doctoral SNRD acceptedVersion Tesis -
12
-
13
-
14por Losada, Marcelo AdriánMaterias: “...QUANTUM LOGIC...”
Publicado 2016
Tesis doctoral publishedVersion -
15por Losada, Marcelo AdriánMaterias: “...QUANTUM LOGIC...”
Publicado 2016
Tesis doctoral publishedVersion -
16por Holik, Federico HernánMaterias: “...QUANTUM LOGIC...”
Publicado 2010
Tesis doctoral publishedVersion -
17por Holik, Federico HernánMaterias: “...QUANTUM LOGIC...”
Publicado 2010
Tesis doctoral publishedVersion -
18por Bavera, Francisco PedroMaterias: “...JUSTIFICATION LOGIC...”
Publicado 2012
Tesis doctoral publishedVersion -
19por Bavera, Francisco PedroMaterias: “...JUSTIFICATION LOGIC...”
Publicado 2012
Tesis doctoral publishedVersion -
20por di Pasquo, Federico MartínMaterias: “...LOGICAL EMPIRICISM...”
Publicado 2014
Tesis doctoral publishedVersion