Concepedia
International Conference on Lightning Protection · 1984 · 292 citations · 0 references
ComputingComputer ScienceCompilersLogicProgramming LanguagesAbstract InterpretationLogic ProgrammingModel TransformationPredicate LogicProgram Transformation