Authors Search About

Präcklein, Axel

1 publications

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

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy