C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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