Christoph Lingenfelder

ffiM Deutschland GmbH Institute for Knowledge Based Systems P.O. Box 103068 D-6900 Heidelberg

2 papers in the IJCAI proceedings

IJCAI 1991

Proof Transformation with Built-in Equality Predicate

with Axel Präcklein

Details PDF

IJCAI 1989

Structuring Computer Generated Proofs

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings