Show Advanced FiltersHide Advanced Filters
Use the filters to refine the search results
ResetAdd New FilterApply
Now showing items 1-1 of 1
Mylonakis Pascual, Nicos (Date of defense: 2000-06-30)
A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo ...
2000 (1)
English (1)
... Show more
1203. Ciència dels ordinadors (1)
disseny algebraic (1)
especificacions algebraiques (1)
programació (1)
validació (1)
51 - Mathematics (1)
Open access (1)