Unifying Math Ontologies : A Tale of Two Standards
収録刊行物
-
- Intelligent Computer Mathematics
-
Intelligent Computer Mathematics 263-278, 2009
Springer Berlin/Heidelberg
Intelligent Computer Mathematics 263-278, 2009
Springer Berlin/Heidelberg