Cited By
View all- D'Aquin MBunoiu RCirstea HLenczner MLieber JZamkotsian F(2023)Combining representation formalisms for reasoning upon mathematical knowledgeProceedings of the 12th Knowledge Capture Conference 202310.1145/3587259.3627549(180-187)Online publication date: 5-Dec-2023
- McDaniel MStorey V(2019)Evaluating Domain OntologiesACM Computing Surveys10.1145/332912452:4(1-44)Online publication date: 11-Sep-2019
- Sargolzaei Javan MAkbari M(2019)SmartData 4.0The Journal of Supercomputing10.1007/s11227-018-2705-y75:7(3585-3620)Online publication date: 1-Jul-2019
- Show More Cited By