Concepedia
Predicate Logic as Programming Language.
IFIP Congress · 1974 · 598 citations · 0 references
Declarative ProgrammingEngineeringAutomated ReasoningFormal MethodsFirst-order LogicComputer ScienceSemanticsLogic ProgrammingProgramming Languages