Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Bukatutako proiektuak
2020
-
Álgebra computacional: formalización y aplicaciones a la fiabilidad de redes y al prcesamiento de imágenes biomédicas.
María Vico Pascual Martínez-Losa, Eduardo Sáenz de Cabezón Irigaray
-
Sistema digital de previsión mejora cultivo champiñón
Eloy Javier Mata Sotés
- Efective computation of invariants of finite topological spaces
2018
2016
2013
-
Gestión Mecanizada del Conocimiento Matemático. Aplicaciones en Topología Algebraica y en Lógica.
Julio Rubio García
-
Formalization of Mathematics (FORMATH)
Julio Rubio García
2009
2007
-
Programación con componentes fiables para el cálculo simbólico.
Julio Rubio García
2005
-
ENTORNOS DE ESPECIFICACIÓN Y PROGRAMACIÓN PARA SISTEMAS DE CÁLCULO SIMBÓLICO
Julio Rubio García