Search Results for '9func'

9func published presentations and documents on DocSlides.

ASmallFrameworkforProofCheckingHansdeNivelleandPiotrWitkowskiInstitute

by dorothy

andtoobtainrealistictestdatafortheoremproversInadd...