Concepedia
International Conference on Lightning Protection · 1984 · 10 citations · 0 references
ComputingComputer ScienceAlgorithmsLogicProgramming LanguagesConcurrent ProgrammingConstraint SatisfactionEquivalence CheckingFirst-order LogicPredicate LogicSyntactic AnalysisConcurrency SemanticsConcurrent SemanticsUnification