Login / Signup

A Note On Equational Theories.

Markus Junker
Published in: J. Symb. Log. (2000)
Keyphrases
  • equational theories
  • theorem proving
  • onset detection
  • learning algorithm
  • expert systems