Login / Signup
Richard M. Harris
Publication Activity (10 Years)
Years Active: 1988-2009
Publications (10 Years): 0
</>
Publications
</>
William W. Agresti
,
Richard M. Harris
Practical Profiles for Managing Systems Engineering R&D.
IEEE Trans. Engineering Management
56 (2) (2009)
David Cyrluk
,
Richard M. Harris
,
Deepak Kapur
GEOMETER: A Theorem Prover for Algebraic Geometry.
CADE
(1988)