Login / Signup

Compactness and the axiom of choice.

Horst Herrlich
Published in: Appl. Categorical Struct. (1996)
Keyphrases
  • computer vision
  • modal logic
  • image processing
  • pattern recognition
  • dynamic programming
  • least squares