Login / Signup

Challenge Equality Problems in Lattice Theory.

William McCune
Published in: CADE (1988)
Keyphrases
  • lattice theory
  • databases
  • neural network
  • bayesian networks
  • object recognition
  • database
  • image processing
  • expert systems
  • logic programming