External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data

Peter Jakobi, Andreas Wolf. DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data. In 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR 98), 8-11 March 1998, Florence, Italy. pages 185-188, IEEE Computer Society, 1998. [doi]

Authors

Peter Jakobi

This author has not been identified. Look up 'Peter Jakobi' in Google

Andreas Wolf

This author has not been identified. Look up 'Andreas Wolf' in Google
runs on