Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

A scalable module system
Information and computation, 2013-09, Vol.230, p.1-54
2013
Link zum Volltext




Electronic proceedings in theoretical computer science, 2019-10, Vol.307 (Proc. LFMTP 2019), p.24-39
2019
Link zum Volltext



Proceedings of the IEEE, 2008-06, Vol.96 (6), p.970-989
2008

Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.201-234
2016
Link zum Volltext


Journal of automated reasoning, 2013-02, Vol.50 (2), p.191-202
2013
Link zum Volltext

7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, Nov 2017, Vienna, Austria. pp.195-210, ⟨10.1007/978-3-319-72453-9_14, 2017, p.195-210
2017
Link zum Volltext

(Deep) FAIR mathematics
Information technology (Munich, Germany), 2020-02, Vol.62 (1), p.7-17
2020
Link zum Volltext



Optical and quantum electronics, 2018-02, Vol.50 (2), p.1-9, Article 70
2018
Link zum Volltext


AISC, 2006, Vol.4120, p.241-253
2006
Link zum Volltext

Faceted Search for Mathematics
Mathematical Aspects of Computer and Information Sciences, 2016, p.406-420
2016
Link zum Volltext



Semantics of OpenMath and MathML3
Mathematics in computer science, 2012-09, Vol.6 (3), p.235-260
2012
Link zum Volltext

Using as a Semantic Markup Format
Mathematics in computer science, 2008-12, Vol.2 (2), p.279-304
2008
Link zum Volltext

Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n