Login / Signup
Evelyne B. Hausen-Tropper
Publication Activity (10 Years)
Years Active: 1989-1989
Publications (10 Years): 0
</>
Publications
</>
Marion R. Finley Jr.
,
Evelyne B. Hausen-Tropper
A system for the representation of theorems and proofs.
SIGART Newsl.
108 (1989)