Publication | Closed Access
Unions as Multi-Predicate Clauses
72
Citations
4
References
1988
Year
SyntaxMulti-predicate ClausesAutomated ReasoningFirst-order LogicLanguage StudiesSemanticsHigher-order LogicLogical Formalism
| Year | Citations | |
|---|---|---|
Page 1
Page 1