A strict implication calculus for compact Hausdorff spaces.

Guram Bezhanishvili Nick Bezhanishvili Thomas Santoli Yde Venema

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

object recognition
hausdorff distance
computer vision
straight line
design space
binary codes
machine learning