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