Deduction with Relation Matching.

Zohar Manna Richard J. Waldinger

Published in: FSTTCS (1985)

Keyphrases

matching algorithm
template matching
neural network
image matching
inference rules
approximate matching
mobile robot
feature points
pattern matching
graph matching
matching process
theorem proving
matching scheme
optimal matching