Login / Signup

Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories.

Paliath NarendranFriedrich Otto
Published in: J. Autom. Reason. (1997)
Keyphrases
  • equational theories
  • theorem proving
  • first order logic
  • real time
  • data sets
  • database systems
  • theorem prover
  • machine learning
  • artificial intelligence
  • knowledge base
  • case study
  • domain knowledge
  • function symbols