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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=17&DC=33948
