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)

Podrobná bibliografie
Hlavní autoři: Kazakov, Y, Motik, B
Médium: Journal article
Jazyk:English
Vydáno: 2008
Popis
Shrnutí:

Podobné jednotky