Euskara
|
Español
|
English
Sign in
Groups
Researchers
Results
Research project
Automated Reasoning Tools and Systems
date_range
Duration: from 01 November 2014 to 31 October 2018
(48 months)
Researchers
Filter
FRANCISCA
LUCIO CARRASCO
Leader
JAVIER
ALVEZ GIMENEZ
JOSE
GAINTZARAIN IBARMIA
MONTSERRAT
HERMO HUGUET
Accessibility
|
Legal information
|
Contact
|
Sitemap
|
Help
UPV/EHU