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 Steren, GabrielaMaterias: “...COMBINATORY LOGIC...”
Publicado 2014
Tesis doctoral publishedVersion -
2por Steren, GabrielaMaterias: “...COMBINATORY LOGIC...”
Publicado 2014
Tesis doctoral publishedVersion -
3por Vecchietti, Aldo RodomiroMaterias: “...Logic programming...”
Publicado 2009
Aportado por: Biblioteca Virtual - Tesis (UNL)Tesis doctoral SNRD acceptedVersion Tesis -
4
-
5
-
6por Losada, Marcelo AdriánMaterias: “...QUANTUM LOGIC...”
Publicado 2016
Tesis doctoral publishedVersion -
7por Losada, Marcelo AdriánMaterias: “...QUANTUM LOGIC...”
Publicado 2016
Tesis doctoral publishedVersion -
8por Holik, Federico HernánMaterias: “...QUANTUM LOGIC...”
Publicado 2010
Tesis doctoral publishedVersion -
9por Holik, Federico HernánMaterias: “...QUANTUM LOGIC...”
Publicado 2010
Tesis doctoral publishedVersion -
10por Bavera, Francisco PedroMaterias: “...JUSTIFICATION LOGIC...”
Publicado 2012
Tesis doctoral publishedVersion -
11por Bavera, Francisco PedroMaterias: “...JUSTIFICATION LOGIC...”
Publicado 2012
Tesis doctoral publishedVersion -
12por Abriola, Sergio AlejandroMaterias: “...DATA-AWARE LOGICS...”
Publicado 2017
Tesis doctoral publishedVersion -
13por Abriola, Sergio AlejandroMaterias: “...DATA-AWARE LOGICS...”
Publicado 2017
Tesis doctoral publishedVersion -
14por Busaniche, ManuelaMaterias: “...FUZZI LOGICS...”
Publicado 2003
Tesis doctoral publishedVersion -
15por Busaniche, ManuelaMaterias: “...FUZZI LOGICS...”
Publicado 2003
Tesis doctoral publishedVersion -
16por Regis, Germán EnriqueMaterias: “...TEMPORAL LOGICS...”
Publicado 2014
Tesis doctoral publishedVersion -
17por Regis, Germán EnriqueMaterias: “...TEMPORAL LOGICS...”
Publicado 2014
Tesis doctoral publishedVersion -
18por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
19por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
20por di Pasquo, Federico MartínMaterias: “...LOGICAL EMPIRICISM...”
Publicado 2014
Tesis doctoral publishedVersion