Sciweavers

Towards Ontological Correctness of Part-whole Relations with Dependent Types
Recent countries visiting this post
Towards Ontological Correctness of Part-whole Relations with Dependent Types
us3United States
jp1Japan