Automatic Proofs in Mathematical Logic and Analysis.

Kurt Ammon

Browse the full CADE paper archive.