Publication | Closed Access
The Art of Prolog
1.1K
Citations
0
References
1987
Year
Computational LogicEngineeringAutomated ReasoningFormal MethodsFirst-order LogicSemanticsLogic Programming
No additional data available for this publication yet. Check back later!