Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus.
S. Christian van WestrhenenPublished in: J. ACM (1972)
Keyphrases
- data driven
- computer vision
- statistical data
- statistical information
- propositional logic
- statistical models
- microarray
- classical methods
- probabilistic logic
- multi valued
- statistical significance
- information theoretic
- real time
- empirical studies
- evolutionary algorithm
- case study
- clustering algorithm
- website
- learning algorithm
- databases