Login / Signup
Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis.
Franz Winkler
Published in:
ISSAC (1989)
Keyphrases
</>
machine learning
autonomous agents
knuth bendix