Login / Signup
Nikoo Zolfaghar Karahroodi
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Automated Deduction
Computer Algebra
Qualitative Spatial
Top Venues
Description Logics
</>
Publications
</>
Nikoo Zolfaghar Karahroodi
,
Volker Haarslev
A Consequence-based Algebraic Calculus for SHOQ.
Description Logics
(2017)