Authors Search About

Cohen, Eve Longini

1 publications

IJCAI 1977 Theorem Proving in Type Theory Peter B. Andrews, Eve Longini Cohen

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy