Matthias Fuchs

Fachbereich Informatik Universitiit Kaiserslautern 67663 Kaiserslautern Germany

1 paper in the IJCAI proceedings

IJCAI 1997

High Performance ATP Systems by Combining Several AI Methods

with Jörg Denzinger, Marc Fuchs

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings