Resolution Proofs of Matching Principles.

Alasdair Urquhart

Published in: Ann. Math. Artif. Intell. (2003)

Keyphrases

matching algorithm
image matching
high resolution
pattern matching
graph matching
theorem proving
consequence finding
matching process
real time
data sets
neural network
multiresolution
low resolution
theorem prover
database
design principles