Proyectos finalizados

2007

  1. Desarrollo de métodos de Algebra Computacional para Inteligencia Artificial. Teoría y aplicaciones interdisciplinares.

    EUGENIO ROANES LOZANO

2005

  1. APLICACIONES INTERDISCIPLINARES DEL ÁLGEBRA COMPUTACIONAL

    EUGENIO ROANES LOZANO

2003

  1. APLICACIONES DEL CALCULO SIMBOLICO EN RAZONAMIENTO AUTOMATICO Y EN EL DESARROLLO Y VERIFICACION TEORICA Y PRACTICA DE SISTEMAS EXPERTOS. GESTION DE TRAFICO FERROVIARIO Y DE EDIFICIOS INTELIGENTES.

    EUGENIO ROANES LOZANO

2000

  1. CONTROL DE CALIDAD EN VERIFICACION Y DEDUCCION EN BASES DE CONOCIMIENTO CON TECNICAS DE ALGEBRA COMPUTACIONAL.

    EUGENIO ROANES LOZANO

1987

  1. SIMULACION INFORMATICA DE PROBLEMAS ALGEBRAICOS Y GGEOMETRICOS.

    EUGENIO ROANES MACÍAS