PakCat catalogue record

Deduction, Computation, Experiment Exploring the Effectiveness of Proof

By Rossella Lupacchini, Giovanna Corsi(ed)

Bibliographic details

Subjects

NULL