Login / Signup

Perfect Bases for Equational Theories.

Jaroslav JezekGeorge F. McNulty
Published in: J. Symb. Comput. (1995)
Keyphrases
  • equational theories
  • theorem proving
  • basis functions
  • neural network
  • machine learning
  • automated reasoning