Statistical methods for comparing theorem proving algorithms.
Ivan KramosilZbigniew ZwinogrodzkiPublished in: Kybernetika (1974)
Keyphrases
- statistical methods
- theorem proving
- statistical analysis
- computational methods
- data mining techniques
- machine learning methods
- statistical approaches
- logical inference
- data mining
- statistical tests
- artificial intelligence
- machine learning
- statistical models
- statistical model
- inference rules
- random variables
- automated reasoning
- information retrieval