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

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

סימן המיקום : No call number

סטטוס : לא ידוע