Model Checking Algorithm for Repairing Inference between Conjunctive Forms
-
Published:2022-03-30
Issue:1
Volume:26
Page:
-
ISSN:2007-9737
-
Container-title:Computación y Sistemas
-
language:
-
Short-container-title:CyS
Author:
De Ita Guillermo,Bello Pedro
Publisher
Instituto Politecnico Nacional/Centro de Investigacion en Computacion
Subject
General Computer Science