Отримати : 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.).

Шифр : Шифр відсутній

Статус : Невідомо