Concepedia

Constructive Negation Based on the Completed Database.

International Conference on Lightning Protection · 1988 · 166 citations · 0 references

Concepts

ComputingComputer ScienceDatabasesFormal MethodsLogicBoolean AlgebraDeductive ReasoningIntuitionistic LogicNon-classical LogicPredicate LogicRelational AlgebraNegation Resolution