Publication | Closed Access
A logical framework for default reasoning
723
Citations
16
References
1988
Year
EngineeringReasoning SystemAutomated ReasoningDefault LogicLogical FrameworkFormal MethodsLogical ReasoningComputer ScienceFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1