Concepedia

19th International Conference on Automated Deduction (CADE-19)

Information and Computation · 2005 · 56 citations · 0 references

Concepts

ComputingComputer ScienceAlgorithmsFormal MethodsKnowledge RepresentationAutomated ReasoningDeductive ReasoningDeductive SystemsPredicate LogicProof AssistantsTheorem ProvingAutomated Proof CheckingAutomated Theorem ProvingProof AutomataProof AutomationProof Search