On the Number of Steps in Proofs.

Published in: Ann. Pure Appl. Log. (1989)

Keyphrases

small number
maximum number
neural network
genetic algorithm
three dimensional
database
wide range
multiresolution