GF

swMATH8587MaRDI QIDQ20596FDOQ20596

Author name not available (Why is that?)

Cited In (4)

• A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
• Translating between Language and Logic: What Is Easy and What Is Difficult
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
• Multilingual Sage

This page was built for software: GF