文献
J-GLOBAL ID:201702244596524761
整理番号:17A0242316
準整合性記述論理のための双模倣性【Powered by NICT】
Bisimilarity for paraconsistent description logics
著者 (4件):
Nguyen Linh Anh
(Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam)
,
Nguyen Thi Hong Khanh
(Electric Power University, 235 Hoang Quoc Viet, Tu Liem, Hanoi, Vietnam)
,
Nguyen Ngoc-Thanh
(Department of Information Systems, Faculty of Computer Science and Management, Wroclaw University of Technology, Poland)
,
Ha Quang-Thuy
(Faculty of Information Technology, VNU University of Engineering and Technology, 144 Xuan Thuy, Hanoi, Vietnam)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2016
号:
SMC
ページ:
004694-004699
発行年:
2016年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)