Publication | Closed Access
Information Algebras and Consequence Operators
17
Citations
7
References
2006
Year
Algebraic LogicAutomated ReasoningInformation AlgebrasFirst-order LogicInformation ManagementHigher-order Logic
| Year | Citations | |
|---|---|---|
Page 1
Page 1