Enseñanza | Curso | Asignatura |
---|---|---|
PARS Enginyeria Informàtica | 1 | LÓGICA COMPUTACIONAL |
Grado en Ingeniería Informática | 1 | LÓGICA COMPUTACIONAL |
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE | 1 | LÓGICA COMPUTACIONAL |
Proyectos de investigación | Fecha inicio | Fecha fin | Investigadores principales |
---|---|---|---|
Satisfactibilidad y Optimización con Certificados de Prueba más allá de Resolución - Aplicaciones (PROOFS BEYOND-A) | 01/09/2023 | 31/08/2026 | CARLOS J. ANSOTEGUI GIL, JORGE LEVY DÍAZ |