Concepedia
Publication | Closed Access
Predication and Pro
135
Citations
11
References
1987
Year
Automated ReasoningLogical ReasoningAbductive ReasoningPresupposition
Page 1