DMCA

Automated Proof Pattern Recognition: the Manual

by Ekaterina Komendantskaya , Rafig Almaghairbe