arXiv cs.DL papers: "📣 OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updat…" - Qoto Mastodon

arXiv cs.DL papers @arxiv_csdl@qoto.org

📣 OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model. (arXiv:2303.13542v1 [cs.AI]) http://arxiv.org/abs/2303.13542

Mar 27, 2023, 01:59 · · arXiv cs.DL · · ·

Sign in to participate in the conversation