Publication | Open Access
A machine program for theorem-proving
3.1K
Citations
3
References
1962
Year
Mathematical ProgrammingEngineeringVerificationAutomated ProofSoftware AnalysisFormal VerificationProof ProcedureTrial RunsProof ComplexityComputer-assisted ReasoningProof TheoryComputer ScienceAutomated ReasoningProgram AnalysisSoftware TestingMachine ProgramFormal MethodsProof AssistantProof SystemPossible Improvements
The programming of a proof procedure is discussed in connection with trial runs and possible improvements.
| Year | Citations | |
|---|---|---|
Page 1
Page 1