Elmar Eder

Fachbereich Mathematik/Informatik Universitat Marburg D-3550 Marburg Germany

2 papers in the IJCAI proceedings

IJCAI 1991

Consolution and its Relation with Resolution

Details PDF

IJCAI 1983

Towards an Advanced Implementation of the Connection Method

with Wolfgang Bibel, Bertram Fronhöfer

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings