YuMing Shen
List of publications from the
DBLP Bibliography Server
-
FAQ
Ask others: ACM
DL
/
Guide
-
-
CSB
-
MetaPress
-
Google
-
Bing
-
Yahoo
2008
1
Ju Wang
,
Yuncheng Jiang
, YuMing Shen: Satisfiability and reasoning mechanism of terminological cycles in description logic
v
L
.
Science in China Series F: Information Sciences 51
(9): 1204-1214 (2008)
Coauthor Index
1
Yuncheng Jiang
[
1
]
2
Ju Wang
[
1
]
Copyright ©
Mon Nov 23 18:13:59 2009 by
Michael Ley
(
ley@uni-trier.de
)