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
Diciembre · 2021
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