ML Anthology

Fuchs, Dirk

2 publications

JAIR 1999 Cooperation Between Top-Down and Bottom-up Theorem Provers Dirk Fuchs, Marc Fuchs
IJCAI 1999 Cooperation of Heterogeneous Provers Jörg Denzinger, Dirk Fuchs