Jörg Denzinger

Fachbereich Informatik Universitiit Kaiserslautern 67663 Kaiserslautern , Germany

2 papers in the IJCAI proceedings

IJCAI 1999

Cooperation of Heterogeneous Provers

with Dirk Fuchs

Details PDF

IJCAI 1997

High Performance ATP Systems by Combining Several AI Methods

with Marc Fuchs, Matthias Fuchs

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings