Clausal Analysis of First-order Proof Schemata.

David M. Cerna Michael Peter Lettmann

Published in: CoRR (2017)

Keyphrases

image analysis
quantitative analysis
theorem proving
neural network
real time
data mining
data analysis
higher order
decision procedures