INVESTIGADORES
SABIA Juan Vicente Rafael
congresos y reuniones científicas
Título:
Eliminación de cuantificadores y straight-line programs
Autor/es:
SUSANA PUDDU; JUAN SABIA
Lugar:
Córdoba
Reunión:
Congreso; Segundo Encuentro Internacional "TERA" (Turbo evaluations and rapid algorithms); 1997
