Authors Search About

Socher-Ambrosius, Rolf

1 publications

IJCAI 1989 Reducing the Derivation of Redundant Clauses in Reasoning Systems Rolf Socher-Ambrosius

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