Contribuciones topologicas y algebraicas a los metodos formales en programacion declarativa.

Tesis doctoral de Andres Bujosa Brun Las contribuciones de la presente tesis doctoral pueden clasificarse en contribuciones topologicas y contribuciones […]

, , , , ,