A Generalization of Short-Cut Fusion and its Correctness Proof.

Patricia Johann

Published in: High. Order Symb. Comput. (2002)

Keyphrases

data fusion
theorem prover
provably correct
database
information fusion
information retrieval
website
search algorithm
fusion method
automated theorem proving
fusion model