Lingenfelder, Christoph

2 publications

IJCAI 1991 Proof Transformation with Built-in Equality Predicate Christoph Lingenfelder, Axel Präcklein

IJCAI 1989 Structuring Computer Generated Proofs Christoph Lingenfelder