Concepedia
SLP · 1985 · 13 citations · 0 references
Applied LogicEngineeringAutomated ReasoningFunctional Programming LanguageFormal MethodsComputer ScienceFunctional ProgrammingLogic Programming