Login / Signup
Alex Rothenberg
Publication Activity (10 Years)
Years Active: 1992-1992
Publications (10 Years): 0
</>
Publications
</>
Dave Barker-Plummer
,
Alex Rothenberg
The GAZER Theorem Prover.
CADE
(1992)