(→Miembros del grupo que trabajan en SBSE) |
|||
| (No se muestra una edición intermedia del mismo usuario) | |||
| Línea 1: | Línea 1: | ||
| − | <h2>Automatización del Razonamiento Cualitativo y Aplicaciones (ARCA)</h2> | + | [[Image:Logo_UPV.png|100px|right|text-top]] |
| + | <h2>Automatización del Razonamiento Cualitativo</h2> | ||
| + | <h2> y Aplicaciones (ARCA)</h2> | ||
| + | |||
| + | __NOTOC__ | ||
=== Información general === | === Información general === | ||
Revisión actual del 12: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