Login / Signup

Application of Automated Deduction to the Search for Single Axioms for Exponent Groups.

William McCuneLarry Wos
Published in: LPAR (1992)
Keyphrases
  • automated deduction
  • search algorithm
  • search space
  • search strategies
  • knowledge base
  • user queries
  • search methods
  • search strategy
  • inference rules
  • clustering algorithm
  • high level
  • first order logic
  • power law