| Línea 1: | Línea 1: | ||
[[Image:Logo_UPV.png|100px|right|text-top]] | [[Image:Logo_UPV.png|100px|right|text-top]] | ||
| − | <h2>Automatización del Razonamiento Cualitativo y Aplicaciones (ARCA)</h2> | + | <h2>Automatización del Razonamiento Cualitativo</h2> |
| + | <h2> y Aplicaciones (ARCA)</h2> | ||
| + | |||
| + | __NOTOC__ | ||
=== Información general === | === Información general === | ||
Revisión actual del 11:36 2 jun 2016
Automatización del Razonamiento Cualitativo
y Aplicaciones (ARCA)
Información general
Miembros del grupo que trabajan en SBSE
- Dr. José Javier Dolado