A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Kazakov, Y, Motik, B
বিন্যাস: Journal article
ভাষা:English
প্রকাশিত: 2008

অনুরূপ উপাদানগুলি