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
Septiembre · 2023
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

Base de Datos I+D+i

Acceder »




Ayuda PTR2020-001178 financiada por MCIN/AEI/10.13039/501100011033


Aviso legal | Política de privacidad