Automatic Proofs and Counterexamples for Some Ortholattice Identities.

Published in: Inf. Process. Lett. (1998)

Keyphrases

fully automatic
learning environment
neural network
real world
machine learning
genetic algorithm
three dimensional
data structure
theorem proving
labor intensive