Get This : Deduction, computation, experiment [electronic resource] : exploring the effectiveness of proof / Rossella Lupacchini, Giovanna Corsi (eds.).

Title : Deduction, computation, experiment [electronic resource] : exploring the effectiveness of proof / Rossella Lupacchini, Giovanna Corsi (eds.).

Call Number : No call number

Status : Unknown