Discriminator Varieties and Symbolic Computation.

Published in: J. Symb. Comput. (1992)

Keyphrases

imperative programs
automated deduction
high quality
pattern recognition
real time
training data
high level
database systems
artificial neural networks
multiresolution
mobile robot
co occurrence