Login / Signup
Uniform proofs of ACC representations.
Sam Buss
Published in:
Arch. Math. Log. (2017)
Keyphrases
</>
three dimensional
higher level
linear array
symbolic representation
database
neural network
information retrieval
search algorithm
object recognition
information technology
image retrieval
multiresolution
theorem prover
theorem proving
multiple representations
mathematical proofs