Generalizing Boolos' Theorem.

Graham Leach-Krouse

Published in: Rev. Symb. Log. (2017)

Keyphrases

von neumann
neural network
object recognition
decision making
multimedia
data structure
multiresolution
probability distribution
digital topology
interactive theorem proving