Aplicaciones del Calculo Simbólico en razonamiento automático y en el desarrollo y verificación teórica y práctica de Sistemas Expertos. Gestión de tráfico ferroviario y de edificios inteligentes (subproyecto de un proyecto coordinado)

En este subproyecto se aplican técnicas de Algebra Computacional al desarrollo, verificación y depuración de Sistemas Expertos en diversas aéreas de aplicación directa en el mundo real, así como desarrollar nuevas técnicas de demostración automática de te

Área: Política, planificación, economía y energía y sostenibilidad, 
Empresas: Universidad Politécnica de Madrid Universidad Complutense de Madrid (Dpto. de Álgebra)


Agenda PTFE
Octubre · 2020
LuMaMiJuViSaDo
1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31

Base de Datos I+D+i

Acceder »




Aviso legal | Política de privacidad