Rational Unification in 28 Characters.

Pietro Cenciarelli Alessandro Tiberi

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

higher order
decision making
chinese characters
theorem proving
machine learning
equational theories
website
digital libraries
knowledge representation
knowledge base
character recognition
computer vision
genetic algorithm
handwritten characters
automated theorem proving
scene images
databases