BriefGPT.xyz
Ask
alpha
关键词
ontology of mathematical knowledge
搜索结果 - 1
数学知识表示:语义模型和形式化
本文介绍数学知识管理中语义方法的调查研究,涵盖本体模型、数学知识本体论以及数学公式搜索和学习。
PDF
10 years ago
Prev
Next