Login / Signup

Str+ve-Subset: The Str+ve-based Subset Prover.

Larry M. Hines
Published in: CADE (1990)
Keyphrases
  • neural network
  • image processing
  • databases
  • real world
  • artificial intelligence
  • computer vision