Login / Signup
Akbar Oripov
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Formal Logic
Knowledge Resources
Ontology Matching
Upper Level
Top Venues
ICMS
</>
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)