1 |
Prototyping Controlled Mathematical Languages in Jupyter Notebooks
|
|
|
|
In: Mathematical Software – ICMS 2020 (2020)
|
|
BASE
|
|
Show details
|
|
2 |
The Semantic Multilingual Glossary of Mathematics (SMGloM) project or why do we need a semantic glossary of mathematics ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
The Semantic Multilingual Glossary of Mathematics (SMGloM) project or why do we need a semantic glossary of mathematics ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
The Semantic Multilingual Glossary of Mathematics (SMGloM) project or why do we need a semantic glossary of mathematics
|
|
|
|
In: Archives of Data Science, Series A (Online First), 2 (1), 16 S. online ; ISSN: 2363-9881 (2017)
|
|
BASE
|
|
Show details
|
|
9 |
Inference in Computational Semantics
|
|
|
|
In: https://hal.inria.fr/inria-00100514 ; 139 p, 2001 (2001)
|
|
BASE
|
|
Show details
|
|
16 |
Higher-Order Coloured Unification and Natural Language Semantics ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|