Th. Honigmann

According to our database, Th. Honigmann authored at least 1 paper in 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Integration of Automated and Interactive Theorem Proving in ILP.

Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf

Proceedings of the Automated Deduction, 1997