-Theorem.

Jan Draisma Tyrrell B. McAllister Benjamin Nill

Published in: SIAM J. Discret. Math. (2012)

Keyphrases

von neumann
computer vision
pattern recognition
artificial intelligence
image sequences
intuitionistic logic