Denzinger, Jörg

2 publications

IJCAI 1999 Cooperation of Heterogeneous Provers Jörg Denzinger, Dirk Fuchs

IJCAI 1997 High Performance ATP Systems by Combining Several AI Methods Jörg Denzinger, Marc Fuchs, Matthias Fuchs