Ir directamente a la navegación principal Ir directamente a la búsqueda Ir directamente al contenido principal

Aplicaciones de la lógica en la informática

Línea de investigación: Repercusión

Descripción de la repercusión

Lógica en la informática. Estudio y desarrollo de fundamentos, métodos y herramientas basados en la lógica para la resolución de problemas computacionamente complejos.

Contenido relacionado