Axiom Dynamics 7: Large-Scale Machine Checking of a Lightweight Terminological Ontology for the Deadlock Criterion on Real Rule Bases

zhou, changzheng, zhou, ziqing

DOI: 10.5281/zenodo.23718726

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.