Proyecto de investigación
22B
LOGICAS DE ESPECIFICACION TEMPORALES Y MODALES PARA LA LOGICA DE REESCRITURA.
date_range
Duración del 07 de mayo de 1997 al 07 de mayo de 1997
(1 mes)