Ikerketa proiektua
DEMOSTRADORES DE TEOREMAS PARA PLTL
date_range
Iraupena 2011(e)ko urria-(a)k 01-(e)tik 2012(e)ko abendua-(a)k 31-(e)ra izan da
(15 months)
Ikertzaileak
FRANCISCA
LUCIO CARRASCO
Arduraduna