Cita APA

(2008). Deduction, computation, experiment: Exploring the effectiveness of proof.

Citación estilo Chicago

Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. 2008.

Cita MLA

Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. 2008.