Publication | Closed Access
On the mechanization of abductive logic
252
Citations
9
References
1973
Year
Abductive LogicComputational LogicAbductionEngineeringAbductive ReasoningSubstructural LogicAutomated ReasoningFormal Methods
| Year | Citations | |
|---|---|---|
Page 1
Page 1