Concepedia
International Conference on Lightning Protection · 1987 · 20 citations · 0 references
HumanitiesComputer ScienceFormal MethodsLogicProgramming LanguagesFirst-order LogicLogic ProgrammingMathematical LogicPredicate LogicRecursion TheoryFirst-order Logic ProgrammingLogic Program SynthesisRule-based Systems