Search
Now showing items 1-10 of 58
Sistemas numéricos y códigos binarios
(Centro Universitario UAEM Zumpango, 2016)
LÓGICA COMBINATORIA
(2018)
Arquitectura de un controlador lógico difuso usando lógica combinatoria
(Instituto Politécnico Nacional. Centro de Investigación en Computación, 2008-06-19)
Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de PruebasTwo topics in rewriting: combinators for pattern calculi and Curry-Howard for the Logic of Proofs
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2014)
DomiSol
(2016)