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