GF
From MaRDI portal
Cited in
(8)- gfsage
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
- Multilingual Sage
- SMGLoM
- FraCaS
- Naproche
- 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
