Deduction versus Computation: The Case of Induction.

Eric Deplagne, Claude Kirchner

Browse the full AISC paper archive.