Login / Signup

A First Order Resolution Calculus with Symmetries.

Uwe Egly
Published in: LPAR (1993)
Keyphrases
  • high resolution
  • term rewriting
  • higher order
  • first order logic
  • neural network
  • real numbers
  • video sequences
  • expert systems
  • np complete
  • higher resolution
  • algebraic structure
  • provably correct