Unification in Datastructure Multisets.

Wolfram Büttner

Published in: J. Autom. Reason. (1986)

Keyphrases

real valued
equational theories
theorem proving
theorem prover
higher order
knuth bendix
video sequences
probabilistic model
databases
computational intelligence
similarity measure
database systems
image processing
rough approximations
automated theorem proving
information systems
artificial intelligence