Unification Theory.

Jörg H. Siekmann

Published in: J. Symb. Comput. (1989)

Keyphrases

special case
digital libraries
theoretical framework
theoretical basis
mathematical foundations
knuth bendix
computer vision
multimedia
website
higher order
formal theory