GF
From MaRDI portal
Software:20596
No author found.
Related Items (4)
Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues ⋮ Multilingual Sage ⋮ Translating between Language and Logic: What Is Easy and What Is Difficult ⋮ A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
This page was built for software: GF
