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