An Institution-independent Proof of Craig Interpolation Theorem.

Razvan Diaconescu

Published in: Stud Logica (2004)

Keyphrases

interactive theorem proving
multiresolution
linear interpolation
learning algorithm
case study
theorem prover
edge direction
data sets
knowledge base
multiscale
higher education
theorem proving
image interpolation