Concepedia
International Conference on Lightning Protection · 1991 · 92 citations · 0 references
Computational LogicProbability LogicEngineeringAutomated ReasoningFormal MethodsComputer ScienceLogic Programming