Algebraic Proofs of Consistency and Completeness.

Paul H. B. Gardiner

Published in: Theor. Comput. Sci. (1995)

Keyphrases

formal proofs
equational theories
data quality
theorem proving
theorem prover
machine learning
artificial neural networks
linear algebra
path consistency
global consistency
algebraic expressions
mathematical proofs