Login / Signup

Engineering mathematics: the odd order theorem proof.

Georges Gonthier
Published in: POPL (2013)
Keyphrases
  • computer science
  • databases
  • computer vision
  • real world
  • information retrieval
  • data sets
  • learning algorithm
  • artificial intelligence
  • software engineering