Sciweavers

3516 search results - page 42 / 704
» Programming Languages: Application and Interpretation
Sort
View
58
Voted
ER
2009
Springer
96views Database» more  ER 2009»
15 years 4 months ago
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
Richard Dapoigny, Patrick Barlatier