Login / Signup
Jürgen Schefter
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 1
Top Topics
Formal Logic
European Union
Knowledge Resources
Ontology Matching
Top Venues
ICMS
CICM (Work in Progress)
</>
Publications
</>
Deyan Ginev
,
Mihnea Iancu
,
Constantin Jucovshi
,
Andrea Kohlhase
,
Michael Kohlhase
,
Akbar Oripov
,
Jürgen Schefter
,
Wolfram Sperber
,
Olaf Teschke
,
Tom Wiesing
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics.
ICMS
(2016)
Deyan Ginev
,
Mihnea Iancu
,
Constantin Jucovshi
,
Andrea Kohlhase
,
Michael Kohlhase
,
Jürgen Schefter
,
Wolfram Sperber
The SMGloM Project and System.
CICM (Work in Progress)
(2015)