Integration of Automated and Interactive Theorem Proving in ILP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf. Integration of Automated and Interactive Theorem Proving in ILP. In William McCune, editor, Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings. Volume 1249 of Lecture Notes in Computer Science, pages 57-60, Springer, 1997.

This author has not been identified. Look up 'Bernd I. Dahn' in GoogleThis author has not been identified. Look up 'Jürgen Gehne' in GoogleThis author has not been identified. Look up 'Th. Honigmann' in GoogleThis author has not been identified. Look up 'Andreas Wolf' in Google

runs on WebDSL