Simultaneous Rigid Sorted Unification.

Pedro J. Martín Antonio Gavilanes

Published in: JELIA (2000)

Keyphrases

three dimensional
higher order
artificial intelligence
theorem proving
information retrieval
image processing
multimedia
wide range
support vector
probabilistic model
rigid body
automated theorem proving