Login / Signup

Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis.

Franz Winkler
Published in: ISSAC (1989)
Keyphrases
  • machine learning
  • autonomous agents
  • knuth bendix