Publication | Closed Access
A transformational approach to negation in logic programming
64
Citations
18
References
1990
Year
Non-classical LogicEngineeringAutomated ReasoningNonmonotonic LogicFormal MethodsComputer ScienceSemanticsLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1