Mechanising Hankin and Barendregt using the Gordon-Melham axioms.

Michael Norrish

Published in: MERLIN (2003)

Keyphrases

knowledge base
first order logic
information systems
image processing
pattern recognition
database
neural network
learning algorithm
computer vision
pairwise
axiomatic characterization