Login / Signup
Automated Discovery of New Axiomatizations of the Left Group and Right Group Calculi.
William McCune
Published in:
J. Autom. Reason. (1992)
Keyphrases
</>
automated discovery
learning algorithm
computer vision
information extraction
digital libraries
evolutionary algorithm
probabilistic model