Jürgen Gehne

Publication Activity (10 Years)

Years Active: 1990-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)
Jürgen Gehne
Testclasses and Closed World Assumptions for Non-Horn Theories. Nonclassical Logics and Information Processing (1990)