Unification in Conditional Equational Theories.

Heinrich Hußmann

Published in: European Conference on Computer Algebra (2) (1985)

Keyphrases

equational theories
theorem proving
random field model
function symbols
artificial intelligence
databases
multiscale
video sequences
conditional probabilities