1990 · 27 citations · 0 references
ComputingComputer ScienceFormal MethodsKnowledge RepresentationNatural Language ProcessingAutomated ReasoningDeductive ReasoningDeductive SystemsPredicate LogicProof AssistantsTheorem ProvingAutomated Proof CheckingAutomated Theorem ProvingInductive Theorem ProvingProof AutomationProof Search