Anisimov's Theorem for inverse semigroups

Published in: CoRR (2013)

Keyphrases

von neumann
neural network
artificial intelligence
computer vision
multiresolution
special case
probabilistic model
interactive theorem proving