Publication | Closed Access
Coherence in finite argument systems
200
Citations
12
References
2002
Year
EngineeringArgumentation FrameworkAutomated ReasoningFormal MethodsFormal SystemFinite Argument SystemsHigher-order LogicFormal VerificationLinguistics
| Year | Citations | |
|---|---|---|
Page 1
Page 1