OTTER 3.3 Reference Manual

Published in: CoRR (2003)

Keyphrases

semi automatic
error prone
real world
data mining
theorem prover
data sets
neural network
image processing
labor intensive
database
databases
genetic algorithm
multi agent
artificial neural networks