Concepedia
Publication | Closed Access
Modularity in Logic Programming
121
Citations
55
References
1994
Year
EngineeringAutomated ReasoningPropositional LogicFormal MethodsComputer ScienceModal LogicLogic Programming
Page 1