Analysis of Clause set Schema Aided by Automated Theorem Proving: A Case Study [Extended Paper].

David M. Cerna Alexander Leitsch

Published in: CoRR (2015)

Keyphrases

statistical analysis
automated theorem proving
small number
theorem prover
case study
data analysis
machine learning
artificial intelligence
general purpose