Login / Signup

Proving unprovability

Michael L. Tiomkin
Published in: LICS (1988)
Keyphrases
  • nearest neighbor
  • data management
  • data driven
  • single image
  • life cycle