Ensenyament | Curs | Assignatura |
---|---|---|
PARS Enginyeria Informàtica | 1 | LÒGICA COMPUTACIONAL |
Grau en Enginyeria Informàtica - UdL | 1 | LÒGICA COMPUTACIONAL |
Doble titulació: Grau en Eng.Informàtica i Grau en Admin.Direcció Empreses | 1 | LÒGICA COMPUTACIONAL |
Projectes de recerca | Data inici | Data fi | Investigadors principals |
---|---|---|---|
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 |