Eve Longini Cohen

Publication Activity (10 Years)

Years Active: 1977-1982
Publications (10 Years): 0

Publications

Dale A. Miller, Eve Longini Cohen, Peter B. Andrews
A Look at TPS. CADE (1982)
Peter B. Andrews, Eve Longini Cohen
Theorem Proving in Type Theory. IJCAI (1977)