A Generic Approach to Proofs about Substitution.

Abhishek Anand Vincent Rahli

Published in: LFMTP (2014)

Keyphrases

domain specific
theorem proving
natural deduction
decision trees
real time
data mining
machine learning
computer vision
case study
control system
general purpose
theorem prover
decision procedures