Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Logic
3
Lógica
3
Algorithms
2
CURRY-HOWARD ISOMORPHISM
2
EXPRESSIVITY
2
ISOMORFISMO DE CURRY-HOWARD
2
LOGICA CUANTICA
2
QUANTUM LOGIC
2
Semantics
2
logical constants
2
paradojas
2
ALGEBRAS LIBRES
1
ANALISIS AUTOMATICO
1
AUDITED COMPUTATIONS
1
AUTOMATA
1
AUTOMATED REASONING
1
AUTOMATIC ANALYSIS
1
AXIOMATIZACION
1
AXIOMATIZATION
1
Abstracting
1
Alloy languages
1
Analytical space
1
Anselm
1
Anselmo
1
Argumento ontológico
1
Aristotelismo medieval
1
Atomic transition
1
Autopilot systems
1
BISIMULATION
1
BL-ALGEBRAS
1
-
1por Steren, GabrielaMaterias: “...COMBINATORY LOGIC...”
Publicado 2014
Tesis doctoral publishedVersion -
2por Bogdanich Espina, VeraMaterias: “...TEMPORAL LOGIC...”
Publicado 2019
Tesis de grado publishedVersion -
3
-
4
-
5
-
6por Urgell Menéndez, IsisMaterias: “...logical constants...”
Publicado 2018
Artículo publishedVersion -
7
-
8Materias: “...Independence friendly logic...”
Artículo publishedVersion -
9
-
10
-
11Publicado 2012Materias: “... position, Logic of the case...”
-
12por Buacar, Natalia MarianaMaterias: “...logical inferentialism...”
Publicado 2018
Artículo publishedVersion -
13por Losada, Marcelo AdriánMaterias: “...QUANTUM LOGIC...”
Publicado 2016
Tesis doctoral publishedVersion -
14por Holik, Federico HernánMaterias: “...QUANTUM LOGIC...”
Publicado 2010
Tesis doctoral publishedVersion -
15
-
16Materias: “...Formal logic...”
Artículo publishedVersion -
17Materias: “...Logical space...”
Artículo artículo -
18
-
19por Bavera, Francisco PedroMaterias: “...JUSTIFICATION LOGIC...”
Publicado 2012
Tesis doctoral publishedVersion -
20