Login / Signup

Narrowing in Partial Conditional Equational Theories (Abstract).

Uwe Wolter
Published in: ALP (1988)
Keyphrases
  • equational theories
  • theorem proving
  • random field model
  • artificial intelligence
  • database
  • probability distribution
  • higher level