Exploration of variations of unrestricted blocking for description logics (2015)

First Author: Khodadadi Mohammad
Attributed to:  Automated Prover Generation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.escholar.manchester.ac.uk/uk-ac-man-scw:276105

Type: Thesis