On Effective Speed-Up and Long Proofs of Trivial Theorems in Formal Theories.

Juris Hartmanis

Published in: RAIRO Theor. Informatics Appl. (1976)

Keyphrases

database
genetic algorithm
high quality
data sets
neural network
information systems
website
web services
decision trees
case study
computationally efficient
theoretical framework
theorem proving
formal models