Forgot your password?
New user?
SAL decision procedures
Some Theorem Proving Strategies and their Implementation
Simplify Prover Benchmarks
ICS
Document Actions
Mathematical Procedures for Decision Problems
The original report on Martin Davis' implementation of the Presburger algorithm for the Institute for Advanced Study computer. This is the first theorem prover to be implemented on an electronic computer.
Size 1.4 MB - File type application/pdf
Click here to get the file
