What Can We Hope to Achieve From Automated Deduction? (Abstract).

Dana S. Scott

Browse the full CADE paper archive.