A Syntactical Proof of Locality of da.

Published in: Int. J. Algebra Comput. (1996)

Keyphrases

theorem prover
data sets
neural network
theorem proving
proof planning
data mining
information retrieval
three dimensional
reinforcement learning
spatial locality
complete axiomatization
mathematical proofs