Publication | Closed Access
A logical reconstruction of Prolog II
45
Citations
2
References
1984
Year
EngineeringAutomated ReasoningLogical ReconstructionFormal MethodsFirst-order LogicComputer ScienceHigher-order LogicLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1