Sign in

Unifying theories in ProofPower-Z.

Marcel OliveiraAna CavalcantiJim Woodcock
Published in: Formal Aspects Comput. (2013)
Keyphrases
  • cognitive psychology
  • defeasible logic
  • website
  • database systems
  • search algorithm
  • neural network
  • computer vision
  • image sequences
  • multiresolution
  • hidden markov models
  • design theory