The Problem of Automated Theorem Finding.

Published in: J. Autom. Reason. (1993)

Keyphrases

fully automated
semi automated
database
real world
genetic algorithm
computer vision
data structure
multi agent systems
finding optimal