Login / Signup

Free Theorems Simply, via Dinaturality.

Janis Voigtländer
Published in: DECLARE (2019)
Keyphrases
  • real time
  • artificial intelligence
  • object recognition
  • np hard