Login / Signup
Peter Jakobi
Publication Activity (10 Years)
Years Active: 1998-1998
Publications (10 Years): 0
</>
Publications
</>
Peter Jakobi
,
Andreas Wolf
DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data.
CSMR
(1998)