Equational Axiomatization of Bicoercibility for Polymorphic Types.

Published in: FSTTCS (1995)

Keyphrases

theorem proving
neural network
situation calculus
computer vision
case study
multiple types
data mining
image processing
special case
logic programs
multi attribute