Mostrar filtros avanzadosOcultar filtros avanzados
Utilice los filtros para refinar los resultados de la búsqueda.
RestaurarAñadir nuevo filtroAplicar
Mostrando ítems 1-1 de 1
Mylonakis Pascual, Nicos (Fecha de defensa: 2000-06-30)
A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo ...
Orejas Valdes, Fernando (1)
2000 (1)
Inglés (1)
... Ver más
1203. Ciència dels ordinadors (1)
especificacions algebraiques (1)
programació (1)
validació (1)
En acceso abierto (1)