Th. Honigmann

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Publications

Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf
Integration of Automated and Interactive Theorem Proving in ILP. CADE (1997)