Publication | Closed Access

Relationship between inductive arithmetic argumentation and deductive algebraic proof

EngineeringAutomated ReasoningFormal MethodsProof TheoryInductive LogicProof SystemInductive Arithmetic Argumentation