DocumentCode
33948
Title
REVISING HORN FORMULAS
University
University of Kentucky
Grade
نامعلوم
Number of pages
0
Publish Date
2003
Keyword
Propositional Horn sentences , Theory revision , equivalence queries , membership queries , Horn formulas
Note
01
Language
انگليسي
Link To Document