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 · 2024
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 »




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


Aviso legal | Política de privacidad