Peter Jakobi

According to our database, Peter Jakobi authored at least 1 paper in 1998.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1998

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

Peter Jakobi, Andreas Wolf

Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998