From Admissibility to a New Hierarchy of Unification Types.

Leonardo Manuel Cabrer George Metcalfe

Published in: UNIF (2014)

Keyphrases

higher order
multimedia
higher level
theorem prover
theorem proving
neural network
computer vision
metadata
high level
hierarchical structure